Introduction to constraint databases

by Revesz, Peter Z.

Type Book

Rate 0.0 /5

Details

Files

Reviews

Download

Title Statements

Full title :Introduction to constraint databases / 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 s. : : illustrations ; : 24 cm

Edition Identifiers

ISBN:0387987290, 9780387987293
oclc:ocn489255632
LC Classification:QA76.9.C67
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 -- 8…