Information Systems
A guide to the SQL standard
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 theorem-proving approach to database integrity
Foundations of deductive databases and logic programming
Heuristics for syntactial optimization of relational queries
Information Processing Letters
Logic-based approach to semantic query optimization
ACM Transactions on Database Systems (TODS)
Logic programming and databases
Logic programming and databases
Safety and translation of relational calculus
ACM Transactions on Database Systems (TODS)
Drawing updates from derivations
ICDT '90 Proceedings of the third international conference on database theory on Database theory
Understanding the new SQL: a complete guide
Understanding the new SQL: a complete guide
Syntactical characterization of a subset of domain-independent formulas
Journal of the ACM (JACM)
Constraint checking with partial information
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A slick procedure for integrity checking in deductive databases
Proceedings of the eleventh international conference on Logic programming
Materialized view maintenance and integrity constraint checking: trading space for time
SIGMOD '96 Proceedings of the 1996 ACM SIGMOD international conference on Management of data
Independence of logic database queries and update
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Materialized views: techniques, implementations, and applications
Materialized views: techniques, implementations, and applications
An introduction to database systems (7th ed.)
An introduction to database systems (7th ed.)
Extending the database relational model to capture more meaning
ACM Transactions on Database Systems (TODS)
The Recursive Unsolvability of the Decision Problem for the Class of Definite Formulas
Journal of the ACM (JACM)
What not how: the business rules approach to application development
What not how: the business rules approach to application development
Logic and Databases: A Deductive Approach
ACM Computing Surveys (CSUR)
Generating efficient plans for queries using views
SIGMOD '01 Proceedings of the 2001 ACM SIGMOD international conference on Management of data
Exploiting constraint-like data characterizations in query optimization
SIGMOD '01 Proceedings of the 2001 ACM SIGMOD international conference on Management of data
Implementation of integrity constraints and views by query modification
SIGMOD '75 Proceedings of the 1975 ACM SIGMOD international conference on Management of data
First order logic formalization for functional, multivalued and mutual dependencies
SIGMOD '78 Proceedings of the 1978 ACM SIGMOD international conference on management of data
Efficient monitoring of database assertions
SIGMOD '78 Proceedings of the 1978 ACM SIGMOD international conference on management of data
Logic for Problem Solving
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
Logic and Data Bases
Fast methods for testing quantified relational calculus assertions
SIGMOD '82 Proceedings of the 1982 ACM SIGMOD international conference on Management of data
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
Semantic Query Optimization through Abduction and Constraint Handling
FQAS '98 Proceedings of the Third International Conference on Flexible Query Answering Systems
Comparing and Synthesizing Integrity Checking Methods for Deductive Databases
Proceedings of the Tenth International Conference on Data Engineering
Discovery and Application of Check Constraints in DB2
Proceedings of the 17th International Conference on Data Engineering
MegaLog - A Platform for Developing Knowledge Base Management Systems
LPAR '92 Proceedings of the International Conference on Logic Programming and Automated Reasoning
The Range Form of Databases and Queries or: How to Avoid Floundering
5. Österreichische Artificial Intelligence-Tagung
Practical Applications of Triggers and Constraints: Success and Lingering Issues (10-Year Award)
VLDB '00 Proceedings of the 26th International Conference on Very Large Data Bases
Queries Independent of Updates
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
Integrating Triggers and Declarative Constraints in SQL Database Sytems
VLDB '96 Proceedings of the 22th International Conference on Very Large Data Bases
Semantic Query Optimization for Bottom-Up Evaluation
ISMIS '96 Proceedings of the 9th International Symposium on Foundations of Intelligent Systems
Some Notes on Knowledge Assimilation in Deductive Databases
ILPS '97 International Seminar on Logic Databases and the Meaning of Change, Transactions and Change in Logic Databases
On interaction with data bases
SIGFIDET '74 Proceedings of the 1974 ACM SIGFIDET (now SIGMOD) workshop on Data description, access and control
On Simplification of Database Integrity Constraints
Fundamenta Informaticae
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
On Simplification of Database Integrity Constraints
Fundamenta Informaticae
| Hi-index | 0.00 |