Introduction to constraint databases: with 112 illustrations

by Révész, Peter, (Peter Z.)

Type Book

Rate 0.0 /5

Details

Files

Reviews

Download

Title Statements

Full title :Introduction to constraint databases : with 112 illustrations / Peter Revesz.

Edition Statements

Publication Date:©2002.

Publication Statements

Publisher(s):Springer
Place of Publication:New York
Language:eng
Publication Date:©2002.

The Physical Object

Description:xiv, 393 p. : : illustrations ; : 24 cm.

Edition Identifiers

ISBN:0387987290, 9780387987293
oclc:ocn951318637
LC Classification:QA76.9
Dewey Decimal:005.75

Machine generated contents note: 1 Infinite Relational Databases 1 -- 1.1 The ViewLevel1 -- 1.2 TheLogical Level4 -- 1.3 Abstract Data Types8 -- 2 Constraint Databases 11 -- 2.1 Constraints11 -- 2.2 The Constraint Data Model20 -- 2.3 Data Abstraction23 -- 3 Relational Algebra and SQL 26 -- 3.1 Relational Algebra26 -- 3.2 SQL34 -- 4 Datalog Queries 40 -- 4.1 Syntax40 -- 4.2 Datalog with Sets45 -- 4.3 Datalog with Boolean Constraints46 -- 4.4 Datalog with Abstract Data Types46 -- 4.5 Semantics48 -- 4.6 Recursive Datalog Queries53 -- 5 Aggregation and Negation Queries 56 -- 5.1 Set Grouping56 -- 5.2 Average, Count, Sum57 -- 5.3 Area and Volume57 -- 5.4 Minimum and Maximum58 -- 5.5 Negation59 -- 5.6 Stratified Datalog Queries59 -- 6 Constraint Automata 62 -- 6.1 Definition of Cnastraint Automata62 -- 6.2 Simplifications of Constraint Automata68 -- 6.3 Analysis of Reachable Configurations73 -- 7 Refinement Queries 79 -- 7.1 The Universal Object Relation Data Model79 -- 7.2 Closed, Open, and Possible Worlds 80 -- 7.3 Syntax82 -- 7.4 Semantics86 -- 7.5 Projection Queries91 -- 7.6 Evaluation of Refinement Queries92 -- 8 Sate Query Languages 97 -- 8.1 SafetyLevels97 -- 8.2 Restriction99 --…