A model-theoretic analysis of knowledge: Preliminary reportRonald FaginJoseph Y. Halpernet al.1984FOCS 1984
Inclusion dependencies and their interaction with functional dependenciesMarco A. CasanovaRonald Faginet al.1982SIGMOD/PODS 1982
A complete axiomatization for functional and multivalued dependencies in database relationsCatriel BeeriRonald Faginet al.1977SIGMOD 1977
Ontology-Enriched Query Answering on Relational Databases Shqiponja AhmetajVasilis Efthymiouet al.2021IAAI 2021
Composition with target constraintsMarcelo ArenasRonald Faginet al.2011Logical Methods in Computer Science