Data Engineering - Special issue on directions for future DBMS research and development
A deductive and object-oriented database system: why and how?
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
Applications of Logic Databases
Applications of Logic Databases
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Object Database Standard: ODMG-93
Object Database Standard: ODMG-93
SATCHMO: A Theorem Prover Implemented in Prolog
Proceedings of the 9th International Conference on Automated Deduction
Deductive Object-Oriented Programming for Knowledge-base Independence
DOOD '95 Proceedings of the Fourth International Conference on Deductive and Object-Oriented Databases
Business policy compliance in service-oriented systems
Information Systems
Hi-index | 0.00 |