Semantics in Databases Second International Workshop Dagstuhl Castle, Germany, January 7–12, 2001 Revised Papers / [electronic resource] :
edited by Leopoldo Bertossi, Gyula O. H. Katona, Klaus-Dieter Schewe, Bernhard Thalheim.
- Berlin, Heidelberg : Springer Berlin Heidelberg, 2003.
- X, 238 p. online resource.
- Lecture Notes in Computer Science, 2582 0302-9743 ; .
- Lecture Notes in Computer Science, 2582 .
Semantics in Databases -- Characterizing and Computing Semantically Correct Answers from Databases with Annotated Logic and Answer Sets -- Towards Unifying Semantic Constraints and Security Constraints -- Historical and Computational Aspects of Paraconsistency in View of the Logic Foundation of Databases -- Soft Constraints and Heuristic Constraint Correction in Entity-Relationship Modelling -- Characterization of Type Hierarchies with Open Specification -- Null Values in Relational Databases and Sure Information Answers -- Consistency Enforcement in Databases -- Automata- and Logic-Based Pattern Languages for Tree-Structured Data -- Cardinality Constraints in Disjunctive Deductive Databases -- Semantic Classifications of Queries to Relational Databases.
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.
9783540365969
10.1007/3-540-36596-6 doi
Computer science.
Logic design.
Computational complexity.
Database management.
Information storage and retrieval systems.
Multimedia systems.
Artificial intelligence.
Computer Science.
Database Management.
Logics and Meanings of Programs.
Discrete Mathematics in Computer Science.
Information Storage and Retrieval.
Multimedia Information Systems.
Artificial Intelligence (incl. Robotics).
QA76.9.D3
005.74
Semantics in Databases -- Characterizing and Computing Semantically Correct Answers from Databases with Annotated Logic and Answer Sets -- Towards Unifying Semantic Constraints and Security Constraints -- Historical and Computational Aspects of Paraconsistency in View of the Logic Foundation of Databases -- Soft Constraints and Heuristic Constraint Correction in Entity-Relationship Modelling -- Characterization of Type Hierarchies with Open Specification -- Null Values in Relational Databases and Sure Information Answers -- Consistency Enforcement in Databases -- Automata- and Logic-Based Pattern Languages for Tree-Structured Data -- Cardinality Constraints in Disjunctive Deductive Databases -- Semantic Classifications of Queries to Relational Databases.
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.
9783540365969
10.1007/3-540-36596-6 doi
Computer science.
Logic design.
Computational complexity.
Database management.
Information storage and retrieval systems.
Multimedia systems.
Artificial intelligence.
Computer Science.
Database Management.
Logics and Meanings of Programs.
Discrete Mathematics in Computer Science.
Information Storage and Retrieval.
Multimedia Information Systems.
Artificial Intelligence (incl. Robotics).
QA76.9.D3
005.74