Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Lecture notes in computer science on ICDT '88
A theorem-proving approach to database integrity
Foundations of deductive databases and logic programming
New Generation Computing
Intensional updates: abduction via deduction
Logic programming
Situation monitoring for active databases
VLDB '89 Proceedings of the 15th international conference on Very large data bases
Database updates through abduction
Proceedings of the sixteenth international conference on Very large databases
A predicate matching algorithm for database rule systems
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
Reactive consistency control in deductive databases
ACM Transactions on Database Systems (TODS)
The impact of logic programming on databases
Communications of the ACM
Automatic generation of production rules for integrity maintenance
ACM Transactions on Database Systems (TODS)
The role of abduction in database view updating
Journal of Intelligent Information Systems
Semantic query optimization in Datalog programs (extended abstract)
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Materialized views and data warehouses
ACM SIGMOD Record
Validation, Verification, and Testing of Computer Software
ACM Computing Surveys (CSUR)
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Active Database Systems: Triggers and Rules for Advanced Database Processing
Active Database Systems: Triggers and Rules for Advanced Database Processing
Computing extended abduction through transaction programs
Annals of Mathematics and Artificial Intelligence
Updating knowledge bases while maintaining their consistency
The VLDB Journal — The International Journal on Very Large Data Bases
Incremental Recomputation of Active Relational Expressions
IEEE Transactions on Knowledge and Data Engineering
Compile-Time and Runtime Analysis of Active Behaviors
IEEE Transactions on Knowledge and Data Engineering
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
How to Tackle Schema Validation by View Updating
EDBT '96 Proceedings of the 5th International Conference on Extending Database Technology: Advances in Database Technology
On Updates and Inconsistency Repairing in Knowledge Bases
Proceedings of the Ninth International Conference on Data Engineering
Comparing and Synthesizing Integrity Checking Methods for Deductive Databases
Proceedings of the Tenth International Conference on Data Engineering
A Common Framework for Classifying and Specifying Deductive Database Updating Problems
ICDE '95 Proceedings of the Eleventh International Conference on Data Engineering
Checking Consistency of Database Constraints: a Logical Basis
VLDB '86 Proceedings of the 12th 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
Incremental Maintenance of Externally Materialized Views
VLDB '96 Proceedings of the 22th International Conference on Very Large Data Bases
Embedding Negation as Failure into a Model Generation Theorem Prover
CADE-11 Proceedings of the 11th International Conference on Automated Deduction: Automated Deduction
A Method for Change Computation in Deductive Databases
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
Consistency preserving updates in deductive databases
Data & Knowledge Engineering
A transformation-based approach to view updating in stratifiable deductive databases
FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
Conceptual schema-centric development: a grand challenge for information systems research
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Hi-index | 0.00 |
We show that database schema validation and update processing problems such as view updating, materialized view maintenance, integrity constraint checking, integrity constraint maintenance or condition monitoring can be classified as problems of either abductive or deductive nature, according to the reasoning paradigm that inherently suites them. This is done by performing abductive and deductive reasoning on the event rules (Olivé 1991), a set of rules that define the difference between consecutive database states. In this way, we show that it is possible to provide methods able to deal with all these problems as a whole. We also show how some existing general deductive and abductive procedures may be used to reason on the event rules. In this way, we show that these procedures can deal with all database schema validation and update processing problems considered in this paper.