The treatment of negation in logic programs for representing legislation
ICAIL '89 Proceedings of the 2nd international conference on Artificial intelligence and law
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
Active rules in deductive databases
CIKM '93 Proceedings of the second international conference on Information and knowledge management
Distributed constraint management for collaborative engineering databases
CIKM '93 Proceedings of the second international conference on Information and knowledge management
Dyn-FO (preliminary version): a parallel, dynamic complexity class
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Towards creating specialised integrity checks through partial evaluation of meta-interpreters
PEPM '95 Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Abductive Knowledge Base Updates for Contextual Reasoning
Journal of Intelligent Information Systems
First-Order Logic Characterization of Program Properties
IEEE Transactions on Knowledge and Data Engineering
Enhancing Disjunctive Datalog by Constraints
IEEE Transactions on Knowledge and Data Engineering
Integrity Checking in Deductive Databases
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
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
Translating advanced integrity checking technology to SQL
Database integrity
On Simplification of Database Integrity Constraints
Fundamenta Informaticae
Classifying integrity checking methods with regard to inconsistency tolerance
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
Towards a Dynamic Inconsistency-Tolerant Schema Maintenance
ER '08 Proceedings of the ER 2008 Workshops (CMLSA, ECDM, FP-UML, M2AS, RIGiM, SeCoGIS, WISM) on Advances in Conceptual Modeling: Challenges and Opportunities
Maintaining control while delegating trust: Integrity constraints in trust management
ACM Transactions on Information and System Security (TISSEC)
Compiling integrity checking into update procedures
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
Partial repairs that tolerate inconsistency
ADBIS'11 Proceedings of the 15th international conference on Advances in databases and 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
Incremental integrity checking: limitations and possibilities
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Transaction management with integrity checking
DEXA'05 Proceedings of the 16th international conference on Database and Expert Systems Applications
Efficient integrity checking for databases with recursive views
ADBIS'05 Proceedings of the 9th East European conference on Advances in Databases and Information Systems
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 |