Constraint databases and applications : ESPRIT WG CONTESSA workshop, Friedrichshafen, Germany, September 8-9, 1995 : proceedings

This book constitutes the refereed proceedings of the ESPRIT Working Group CONTESSA Workshop on Constraint Databases and Applications, held in Friedrichshafen, Germany in September 1995. The 10 full revised papers selected for inclusion in this volume are written by and for practitioners, researcher...

詳細記述

保存先:
書誌詳細
団体著者: ESPRIT WG CONTESSA Workshop :Friedrichshafen, Allemagne
その他の著者: Kuper, Gabriel, 1957- (出版デイレクター), Wallace, Mark, 1955- (出版デイレクター)
フォーマット: Livre numérique
言語:Anglais
出版事項: Berlin [etc.] : Springer [20..].
Cham : Springer Nature
シリーズ:Lecture notes in computer science 1034
主題:
オンライン・アクセス:Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL
注記: Archives Springer e-books (Licence nationale)
Archives Springer e-books (Licence nationale)
Autres localisations: Voir dans le Sudoc
Edition sous un autre format:• Constraint databases and applications, ESPRIT WG CONTESSA workshop, Friedrichshafen, Germany, September 8-9, 1995, proceedings, Gabriel Kuper, Mark Wallace, eds, 1996, Berlin, Springer, 1 vol. (185 p.), Lecture notes in computer science, 3-540-60794-3
• Constraint Databases and Applications, Texte imprimé, 9783662174845
目次:
  • Application development with the CHIP system
  • On the expressiveness of first-order constraint languages
  • Generalized relational algebra: Modeling spatial queries in constraint databases
  • DISCO: A constraint database system with sets
  • Constraint-based query optimization and processing
  • The application of multi-dimensional indexing methods to constraints
  • Towards the definition of a spatial object-oriented data model with constraints
  • Ambiguity for referential integrity is undecidable
  • Magic checking: Constraint checking for database query optimisation
  • FISSURE: Finder of solutions with subdefinite resources.