Foundations of logic programming
Foundations of logic programming
A basis for deductive database systems. II
Journal of Logic Programming
Integrity constraint checking in stratified databases
Journal of Logic Programming
A Proof Procedure Using Connection Graphs
Journal of the ACM (JACM)
Logic for Problem Solving
One the design and implementation of information systems from deductive conceptual models
VLDB '89 Proceedings of the 15th international conference on Very large data bases
Reactive consistency control in deductive databases
ACM Transactions on Database Systems (TODS)
Local verification of global integrity constraints in distributed databases
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
Distributed constraint management for collaborative engineering databases
CIKM '93 Proceedings of the second international conference on Information and knowledge management
Thémis: a database programming language handling integrity constraints
The VLDB Journal — The International Journal on Very Large Data Bases - Persistent object systems
Finite Satisfiability of Integrity Constraints in Object-Oriented Database Schemas
IEEE Transactions on Knowledge and Data Engineering
Integrity Constraints Checking In Deductive Databases
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Further Improvements on Integrity Constraint Checking for Stratifiable Deductive Databases
VLDB '96 Proceedings of the 22th International Conference on Very Large Data Bases
Specification and Implementation of Temporal Databases in a Bitemporal Event Calculus
ER '99 Proceedings of the Workshops on Evolution and Change in Data Management, Reverse Engineering in Information Systems, and the World Wide Web and Conceptual Modeling
Abductive Partial Order Planning with Dependent Fluents
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
Efficient Numerical Error Bounding for Replicated Network Services
VLDB '00 Proceedings of the 26th International Conference on Very Large Data Bases
Data integration under integrity constraints
Information Systems - Special issue: The 14th international conference on advanced information systems engineering (CAiSE*02)
On Simplification of Database Integrity Constraints
Fundamenta Informaticae
Incremental Detection of Model Inconsistencies Based on Model Operations
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
Maintaining control while delegating trust: Integrity constraints in trust management
ACM Transactions on Information and System Security (TISSEC)
Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
A survey of automated deduction
Artificial intelligence today
Using ontology databases for scalable query answering, inconsistency detection, and data integration
Journal of Intelligent Information Systems
A relaxed approach to integrity and inconsistency in databases
LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Checking violation tolerance of approaches to database integrity
ADVIS'06 Proceedings of the 4th international conference on Advances in Information Systems
On Simplification of Database Integrity Constraints
Fundamenta Informaticae
Hi-index | 0.00 |