On knowledge base management systems: integrating artificial intelligence and d atabase technologies
Constraint management in expert database systems
Proceedings from the first international workshop on Expert database systems
The role of constraints in databases, expert systems, and knowledge representation
Proceedings from the first international workshop on Expert database systems
Implementation of integrity constraints and views by query modification
SIGMOD '75 Proceedings of the 1975 ACM SIGMOD international conference on Management of data
Data Models
Cost and performance analysis of semantic integrity validation methods
SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
A framework for data base semantic integrity
ICSE '76 Proceedings of the 2nd international conference on Software engineering
A structural model for database systems
A structural model for database systems
Compiling complex database transition triggers
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
VLDB '89 Proceedings of the 15th international conference on Very large data bases
Semantics modeling issues for processing natural language database queries
CSC '90 Proceedings of the 1990 ACM annual conference on Cooperation
Bounded ignorance in replicated systems
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Intelligent database caching through the use of page-answers and page-traces
ACM Transactions on Database Systems (TODS)
Bounded ignorance: a technique for increasing concurrency in a replicated system
ACM Transactions on Database Systems (TODS)
Rule-Based Consistency Enforcement for Knowledge-Based Systems
IEEE Transactions on Knowledge and Data Engineering
Integrity Constraint Reformulation for Efficient Validation
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
Expert Database Support for Consistent Dynamic Objects
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
A Polygen Model for Heterogeneous Database Systems: The Source Tagging Perspective
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
Runtime checking for program verification
RV'07 Proceedings of the 7th international conference on Runtime verification
Hi-index | 0.00 |