On bounded database schemes and bounded Horn-clause programs

Tools for Datalog boundedness

PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems

Structural query optimization—a uniform framework for semantic query optimization in deductive databases

PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems

Constant-time-maintainable BCNF database schemes

ACM Transactions on Database Systems (TODS)

Independence-reducible database schemes

Journal of the ACM (JACM)

Semantics for null extended nested relations

ACM Transactions on Database Systems (TODS)

Undecidable optimization problems for database logic programs

Journal of the ACM (JACM)

Independence-reducible database schemes

Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems