Constraint Databases and Applications
Subtitle: Second International Workshop on Constraint Database Systems, CDB '97, Delphi, Greece, January 11-12, 1997, CP'96 ... papers (Lecture Notes in Computer Science)
Contributors: Volker Gaede (Editor); Alexander Brodsky (Editor); Oliver Günther (Editor); Divesh Srivastava (Editor); Victor Vianu (Editor); Mark Wallace (Editor)
Edition: 1 edition
Publisher: Springer
Published: February 14, 1997
Language: eng
Format: Paperback
Number of pages: 345
ISBN-13: 9783540625018
Subjects: Computer Programming; Databases & data structures; Database Engineering; Database management; Computers; Computers - General Information; Constraint databases; Computer Books: Database; Congresses; Database Management - General; Information Storage & Retrieval; Programming - General; Computers / Database Management / General; Constraint-Datenbanken; Constraint-Programmierung; Objektorientierte Datenbanken; Räumliche Datenbanken; Temporale Datenbanken; constraint programming; Database Systems
First sentence: Recently we have seen a surge of interest [3, 2, 4, 11, 5, 13, 15, 16, 9] in developing formal methods for reasoning about the topological properties of sets of planar regions, such as the one shown in Figure 1.