A Proof Procedure for Data Dependencies
Journal of the ACM (JACM)
Methods and tools for equivalent data model mapping construction
EDBT '90 Proceedings of the 2nd international conference on extending database technology: Advances in Database Technology
Data integration: a theoretical perspective
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
ILOG: Declarative Creation and Manipulation of Object Identifiers
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
Data exchange: semantics and query answering
Theoretical Computer Science - Database theory
A general datalog-based framework for tractable query answering over ontologies
Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Structural characterizations of schema-mapping languages
Communications of the ACM - Amir Pnueli: Ahead of His Time
Tractable Query Answering over Conceptual Schemata
ER '09 Proceedings of the 28th International Conference on Conceptual Modeling
Querying incomplete data over extended er schemata
Theory and Practice of Logic Programming
Query answering under non-guarded rules in datalog+/-
RR'10 Proceedings of the Fourth international conference on Web reasoning and rule systems
Datalog+/-: A Family of Logical Knowledge Representation and Query Languages for New Applications
LICS '10 Proceedings of the 2010 25th Annual IEEE Symposium on Logic in Computer Science
Ontological queries: Rewriting and optimization
ICDE '11 Proceedings of the 2011 IEEE 27th International Conference on Data Engineering
Ontological query answering with existential rules
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
Ontological query answering via rewriting
ADBIS'11 Proceedings of the 15th international conference on Advances in databases and information systems
Ontological query answering under expressive Entity-Relationship schemata
Information Systems
Extensible canonical process model synthesis applying formal interpretation
ADBIS'05 Proceedings of the 9th East European conference on Advances in Databases and Information Systems
Method for data models integration in the common paradigm
ADBIS'97 Proceedings of the First East-European conference on Advances in Databases and Information systems
Hi-index | 0.00 |
Recently families of sets of dependencies treated as the Datalog extensions were discovered for which the interpretation of queries becomes tractable. Such families are intended for inference of new, unknown values in the process of query answering. This paper considers such decidable classes of dependencies as the assets for creation of new data models (called in the paper the value inventive data models) analogously to axiomatic extension of the canonical model kernel used so far for unification of structured and object data models aimed at heterogeneous database integration. The paper examines the decidable classes of dependencies reflecting the semantics of value inventive data models considering such classes to be the extensions of the canonical data model kernel. The issue of identifying of decidable subsets of the canonical model extension is considered.