Towards an efficient evaluation of general queries: quantifier and disjunction processing revisited
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
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
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
Active rules in deductive databases
CIKM '93 Proceedings of the second international conference on Information and knowledge management
Automatic generation of production rules for integrity maintenance
ACM Transactions on Database Systems (TODS)
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
A hybrid knowledge representation approach to reusability of legal knowledge bases
ICAIL '95 Proceedings of the 5th international conference on Artificial intelligence and law
ACM Computing Surveys (CSUR)
Generating consistent test data: restricting the search space by a generator formula
The VLDB Journal — The International Journal on Very Large Data Bases
Thémis: a database programming language handling integrity constraints
The VLDB Journal — The International Journal on Very Large Data Bases - Persistent object systems
IEEE Transactions on Knowledge and Data Engineering
Making the Knowledge Base Systems More Efficient: A Method to Detect Inconsistent Queries
IEEE Transactions on Knowledge and Data Engineering
Consistency Checking in Complex Object Database Schemata with Integrity Constraints
IEEE Transactions on Knowledge and Data Engineering
Knowbel: A Hybrid Tool for Building Expert Systems
IEEE Expert: Intelligent Systems and Their Applications
Integrity Constraints Checking In Deductive Databases
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Integrity Constraint and Rule Maintenance in Temporal Deductive Knowledge Bases
VLDB '93 Proceedings of the 19th 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
Improving Integrity Constraint Enforcement by Extended Rules and Dependency Graphs
DEXA '01 Proceedings of the 12th International Conference on Database and Expert Systems Applications
A Method for Change Computation in Deductive Databases
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
Maintenance of implication integrity constraints under updates to constraints
The VLDB Journal — The International Journal on Very Large Data Bases
Building knowledge base management systems
The VLDB Journal — The International Journal on Very Large Data Bases
Translating advanced integrity checking technology to SQL
Database integrity
Consistency preserving updates in deductive databases
Data & Knowledge Engineering
On the abductive or deductive nature of database schema validation and update processing problems
Theory and Practice of Logic Programming
Algorithms for analysing related constraint business rules
Data & Knowledge Engineering
Semantic errors in SQL queries: A quite complete list
Journal of Systems and Software - Special issue: Quality software
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
Compiling integrity checking into update procedures
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
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
Hi-index | 0.00 |