Semantics in Databases: Second International Workshop Dagstuhl Castle, Germany, January 7–12, 2001 Revised Papers

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop on Semantics in Databases, held in Dagstuhl Castle, Germany, in January 2001.

The 10 revised full papers presented together with an introduction by the volume editors were carefully selected during two rounds of reviewing. Among the aspects of database semantics discussed are semantic constraints, paraconsistency, logic foundations of databases, ER modeling, type hierarchies, null values, consistency enforcement, logic-based pattern languages, and semantic classification of queries. Among the classes of databases dealt with are deductive databases, relational databases, distributed information systems, and tree-structured data.

Author(s): Leopoldo Bertossi, Gyula O. H. Katona, Klaus-Dieter Schewe (auth.), Leopoldo Bertossi, Gyula O. H. Katona, Klaus-Dieter Schewe, Bernhard Thalheim (eds.)
Series: Lecture Notes in Computer Science 2582
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2003

Language: English
Pages: 238
Tags: Database Management; Logics and Meanings of Programs; Discrete Mathematics in Computer Science; Information Storage and Retrieval; Multimedia Information Systems; Artificial Intelligence (incl. Robotics)

Semantics in Databases....Pages 1-6
Characterizing and Computing Semantically Correct Answers from Databases with Annotated Logic and Answer Sets....Pages 7-33
Towards Unifying Semantic Constraints and Security Constraints....Pages 34-62
Historical and Computational Aspects of Paraconsistency in View of the Logic Foundation of Databases....Pages 63-81
Soft Constraints and Heuristic Constraint Correction in Entity-Relationship Modelling....Pages 82-99
Characterization of Type Hierarchies with Open Specification....Pages 100-118
Null Values in Relational Databases and Sure Information Answers....Pages 119-138
Consistency Enforcement in Databases....Pages 139-159
Automata- and Logic-Based Pattern Languages for Tree-Structured Data....Pages 160-178
Cardinality Constraints in Disjunctive Deductive Databases....Pages 179-199
Semantic Classifications of Queries to Relational Databases....Pages 200-228