Relational Methods for Computer Science Applications - Couverture souple

 
9783662003619: Relational Methods for Computer Science Applications
Couverture souple
ISBN 10 : 3662003619 ISBN 13 : 9783662003619
Editeur : Springer, 2014

Synopsis

Interprétation des expressions tabulaires à l'aide de tableaux de relations. - Traduire les programmes relationnels en prolog.- Un calcul de la contamination du programme basé sur des algèbres de fourchette, des stratégies de conception et des algorithmes génériques.- Processus en tant que relations.- Une procédure Tableaux pour le problème d'implication pour les règles d'association.- Sur une vérification statique des contraintes d'intégrité dans Bases de données relationnelles es.- Algèbres de relation de contact.- Relations anciennes et nouvelles.- Modèles relationnels pour le calcul Lambek non associatif.- Faire face aux sémilattices des relations dans la logique avec des relations d'accessibilité relative.- Une formalisation relationnelle d'une logique modale générique à plusieurs valeurs.- Une application de la théorie BAO standard à certaines algèbres d'informations abstraites.- Systèmes de preuve dans Algée relationnelle bra.- Connexions entre les algèbres cylindriques et les algèbres relationnelles.- Treillis dans les catégories Dedekind.- Au-delà des modalités : suffisance et algèbres mixtes.- Algèbres cylindriques pour systèmes relationnels partiels. Algèbres quasicylindriques.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer
Date d'édition
2014
Langue
anglais
ISBN 10 
3662003619
ISBN 13 
9783662003619
Reliure
Broché
Nombre de pages
312
Éditeur
Orlowska Ewa, Szalas Andrzej
Coordonnées du fabricant
non disponible
Personne responsable
non disponible