Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
What is a logical system?
Domain-independent queries on databases with external functions
Theoretical Computer Science - Special issue: database theory
The Recursive Unsolvability of the Decision Problem for the Class of Definite Formulas
Journal of the ACM (JACM)
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Safety, domain independence and translation of complex value database queries
Information Sciences: an International Journal
Expressive power of query languages for constraint complex value databases
DASFAA'11 Proceedings of the 16th international conference on Database systems for advanced applications: Part II
Exact query reformulation with first-order ontologies and databases
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Exact query reformulation over databases with first-order and description logics ontologies
Journal of Artificial Intelligence Research
| Hi-index | 5.23 |
We develop a unified framework for dealing with constructibility and absoluteness in set theory, decidability of relations in effective structures (like the natural numbers) and domain independence of queries in database theory. Our framework and results suggest that domain-independence and absoluteness might be the key notions in a general theory of constructibility, predicativity and computability.