Finite representation of infinite query answers
ACM Transactions on Database Systems (TODS)
Polynomial time query processing in temporal deductive databases
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Datalog LITE: a deductive query language with linear time model checking
ACM Transactions on Computational Logic (TOCL)
On Decidability and Complexity of Description Logics with Uniqueness Constraints
ICDT '01 Proceedings of the 8th International Conference on Database Theory
On Reasoning about Structural Equality in XML: A Description Logic Approach
ICDT '03 Proceedings of the 9th International Conference on Database Theory
Selected M-Related Dissertations Bibliography
ACM SIGART Bulletin
On reasoning about structural equality in XML: a description logic approach
Theoretical Computer Science - Database theory
Artificial Intelligence Review
Hi-index | 0.00 |