@inproceedings{49e644dba6ef47f1abf36cc00b09c199,
title = "Implementing deductive databases by linear programming",
abstract = "Logic programs incorporate forms of SLD resolution as the basis for query processing. Existing and past generations of Prolog systems have left deduction to run-time, and this may account for the poor run-time performance of such systems. Our work tries to minimize run-time deduction by shifting the deductive process to compile-time, not run-time. We also propose a query processing system based on linear programming compilation. We discuss how such a system can be supported efficiently at run-time by relational database systems. Then we describe our implemented prototype compiler. Finally, we report experimental results using this compiler.",
author = "Colin Bell and Anil Nerode and Ng, {Raymond T.} and Subrahmanian, {V. S.}",
year = "1992",
doi = "10.1145/137097.137892",
language = "English (US)",
isbn = "0897915194",
series = "Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems",
publisher = "Publ by ACM",
pages = "283--292",
booktitle = "Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems",
note = "Proceedings of the 11th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems ; Conference date: 02-06-1992 Through 04-06-1992",
}