Foundations of logic programming
Foundations of logic programming
Integrity constraint checking in deductive databases using the Prolog not-predicate
Data & Knowledge Engineering
Integrity constraint checking in stratified databases
Journal of Logic Programming
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
A path finding method for constraint checking in deductive databases
Data & Knowledge Engineering
Local verification of global integrity constraints in distributed databases
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
Constraint checking with partial information
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases
EDBT '88 Proceedings of the International Conference on Extending Database Technology: Advances in Database Technology
Updating Derived Relations: Detecting Irrelevant and Autonomously Computable Updates
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
Integrity Checking in Deductive Databases
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
Queries Independent of Updates
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
Improving Integrity Constraint Checking for Stratified Deductive Databases
DEXA '94 Proceedings of the 5th International Conference on Database and Expert Systems Applications
Optimal implementation of conjunctive queries in relational data bases
STOC '77 Proceedings of the ninth annual ACM symposium on Theory of computing
Effect Preservation as a Means for Achieving Update Consistency
FQAS '02 Proceedings of the 5th International Conference on Flexible Query Answering Systems
Verify Updating Trigger Correctness
DEXA '99 Proceedings of the 10th International Conference on Database and Expert Systems Applications
Improving Integrity Constraint Enforcement by Extended Rules and Dependency Graphs
DEXA '01 Proceedings of the 12th International Conference on Database and Expert Systems Applications
Towards effect preservation of updates with loops
Integrity and internal control in information systems V
On the abductive or deductive nature of database schema validation and update processing problems
Theory and Practice of Logic Programming
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
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
Incremental evaluation of OCL constraints
CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering
Efficient integrity checking for databases with recursive views
ADBIS'05 Proceedings of the 9th East European conference on Advances in Databases and Information Systems
On Simplification of Database Integrity Constraints
Fundamenta Informaticae
Managing uncertainty in databases and scaling it up to concurrent transactions
SUM'12 Proceedings of the 6th international conference on Scalable Uncertainty Management
Hi-index | 0.00 |