{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T13:40:06Z","timestamp":1736084406518,"version":"3.32.0"},"publisher-location":"Berlin\/Heidelberg","reference-count":55,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540522913"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0022160","type":"book-chapter","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T05:40:43Z","timestamp":1131860443000},"page":"1-15","source":"Crossref","is-referenced-by-count":6,"title":["Deductive Databases-theory meets practice"],"prefix":"10.1007","author":[{"given":"Carlo","family":"Zaniolo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"K. Apt","year":"1987","unstructured":"Apt, K., H. Blair, A. Walker, \u201dTowards a Theory of Declarative Knowledge,\u201d in Foundations of Deductive Databases and Logic Programming, (Minker, J. ed.), Morgan Kaufman, Los Altos, 1987."},{"unstructured":"Bancilhon, F. and P. Buneman (eds.), \u201cWorkshop on Database Programming Languages,\u201d Roscoff, Finistere, France, Sept. 87.","key":"1_CR2"},{"doi-asserted-by":"crossref","unstructured":"Beeri, C., R. Nasr and S.Tsur, \u201cEmbedding psi-terms in a Horn-clause Logic Language\u201d, Procs. Third Int. Conf. on Data and Knowledge Bases\u2014improving usability and responsiveness, Jersualem, June 28\u201330, pp. 347\u2013359, 1989","key":"1_CR3","DOI":"10.1016\/B978-1-4832-1313-2.50033-0"},{"doi-asserted-by":"crossref","unstructured":"Boral, H. \u201cParallelism in Bubba,\u201d Proc. Int. Symposium on Databases in Parallel and Distributed Systems, Austin, Tx, Dec. 1988.","key":"1_CR4","DOI":"10.1109\/DPDS.1988.675003"},{"unstructured":"Beeri C., S. Naqvi, O. Shmueli, and S. Tsur. \u201cSet Constructors in a Logic Database Language\u201d, to appear in the Journal of Logic Programming.","key":"1_CR5"},{"doi-asserted-by":"crossref","unstructured":"Bancilhon, F., D. Maier, Y. Sagiv, J. Ullman, \u201dMagic sets and other strange ways to implement logic programs\u201d, Proc. 5th ACM SIGMOD-SIGACT Symp. on Principles of Database Systems, 1986.","key":"1_CR6","DOI":"10.1145\/6012.15399"},{"doi-asserted-by":"crossref","unstructured":"Bocca, J., \u201dOn the Evaluation Strategy of Educe,\u201d Proc. 1986 ACM-SIGMOD Conference on Management of Data, pp. 368\u2013378, 1986.","key":"1_CR7","DOI":"10.1145\/16894.16890"},{"issue":"4","key":"1_CR8","first-page":"52","volume":"10","author":"D. Chimenti","year":"1987","unstructured":"Chimenti, D. et al., \u201dAn Overview of the LDL System\u201d, Database Engineering Bulletin, Vol. 10, No. 4, pp. 52\u201362, 1987.","journal-title":"Database Engineering Bulletin"},{"doi-asserted-by":"crossref","unstructured":"Chimenti, D. et al., \u201dThe LDL System Prototype,\u201d IEEE Journal on Data and Knowledge Engineering, March 1990.","key":"1_CR9","DOI":"10.1109\/69.50907"},{"unstructured":"Ceri, S., G. Gottlob and G. Wiederhold, \u201dInterfacing Relational Databases and Prolog Efficiently,\u201d Expert Database Systems, L. Kerschberg (ed.), Benjamin\/Cummings, 1987.","key":"1_CR10"},{"unstructured":"Chimenti, D. and R. Gamboa. \u201cThe SALAD Cookbook: A User's Guide,\u201d MCC Technical Report No. ACA-ST-064-89.","key":"1_CR11"},{"unstructured":"Chimenti, D., R. Gamboa and R. Krishnamurthy. \u201cTowards an Open Architecture for LDL,\u201d Proc. 15th VLDB, pp. 195\u2013203, 1989.","key":"1_CR12"},{"unstructured":"Chimenti, D., R. Gamboa and R. Krishnamurthy, \u201cAbstract Machine for LDL,\u201d Proc. 2nd Int. Conf on Extending Database Technology, EDBT'90, Venice, Italy, 1990.","key":"1_CR13"},{"doi-asserted-by":"crossref","unstructured":"Copeland, G. and Maier D., \u201dMaking SMALLTALK a Database System,\u201d Proc. ACM SIGMOD Int. Conf. on Management of Data, pp. 316\u2013325, 1985.","key":"1_CR14","DOI":"10.1145\/971697.602300"},{"unstructured":"Connell, J.L. and Shafer, L.B., \u201cStructured Rapid Prototyping\u201d, Prentice Hall, 1989.","key":"1_CR15"},{"unstructured":"\u201cThe Rapid Prototyping Conundrum\u201d, DATAMATION, June 1989.","key":"1_CR16"},{"unstructured":"Foster, R.K. \u201dFeature Comparison of LDL and SQL\u201d, Control Data Corporation Interoffice Memorandum, March 23, 1987.","key":"1_CR17"},{"unstructured":"Gane, C. \u201cRapid System Development,\u201d Prentice Hall, 1989.","key":"1_CR18"},{"doi-asserted-by":"crossref","unstructured":"Gallaire, H.,J. Minker and J.M. Nicolas,\u201dLogic and Databases: a Deductive Approach,\u201d Computer Surveys, Vol. 16, No. 2, 1984.","key":"1_CR19","DOI":"10.1145\/356924.356929"},{"unstructured":"R. Herdman, et al. \u201cMAPPING OUR GENES Genome Projects: How Big, How Fast?\u201d Congress of the United States, Office of Technology Assessment. The John Hopkins University Press, 1988.","key":"1_CR20"},{"unstructured":"Jarke, M., J. Clifford and Y. Vassiliou, \u201dAn Optimizing Prolog Front End to a Relational Query System,\u201d Proc. 1984 ACM-SIGMOD Conference on Management of Data, pp. 296\u2013306, 1986.","key":"1_CR21"},{"unstructured":"Kellogg, C., \u201cA Practical Amalgam of Knowledge and Data Base Technology\u201d Proc. of AAAI Conference, Pittsburg, Pa., 1982.","key":"1_CR22"},{"unstructured":"Krishnamurthy, S. Naqvi and Zaniolo, \u201dDatabase Transactions in $$\\mathcal{L}\\mathcal{D}\\mathcal{L}$$ \u201d, Proc. Logic Programming North American Conference 1989, pp. 795\u2013830, MIT Press, 1989.","key":"1_CR23"},{"unstructured":"Krishnamurthy and S. Naqvi, \u201dNon-Deterministic Choice in Datalog,\u201d Proc. 3rd Int. Conf. on Data and Knowledge Bases, June 27\u201330, Jerusalem, Israel.","key":"1_CR24"},{"unstructured":"Krishnamurthy and S. Naqvi, \u201dTowards a Real Horn Clause Language,\u201d Proc. 1988 VLDB Conference, Los Angeles, California, August 1988.","key":"1_CR25"},{"doi-asserted-by":"crossref","unstructured":"Krishnamurthy, R. and C. Zaniolo, \u201dOptimization in a Logic Based language for Knowledge and Data Intensive Applications,\u201d in Advances in Database Technology, EDBT'88, (Schmidt, Ceri and Missikoff, Eds), pp. 16\u201333, Springer-Verlag 1988.","key":"1_CR26","DOI":"10.1007\/3-540-19074-0_45"},{"key":"1_CR27","volume-title":"Advances in Logic and Databases, Vol. 2","author":"S. Kunifji","year":"1984","unstructured":"Kunifji S., H. Yokota, \u201dProlog and Relational Databases for 5th Generation Computer Systems,\u201d in Advances in Logic and Databases, Vol. 2 (Gallaire, Minker and Nicolas eds.), Plenum, New York, 1984."},{"key":"1_CR28","volume-title":"A Prolog Database System","author":"L. D","year":"1984","unstructured":"Li, D. \u201dA Prolog Database System,\u201d Research Institute Press, Letchworth, Hertfordshire, U.K., 1984"},{"doi-asserted-by":"crossref","unstructured":"Lefebvre, A. and Vieille, L. \u201cOn Deductive Query Evaluation in the DedGin System,\u201d Proc. 1st Int. Conf. on Deductive and O-O Databases, Dec. 4\u20136, 1989, Kyoto, Japan.","key":"1_CR29","DOI":"10.1016\/B978-0-444-88433-6.50015-0"},{"doi-asserted-by":"crossref","unstructured":"Lloyd, J. W., Foundations of Logic Programming, Springer Verlag, (2nd Edition), 1987.","key":"1_CR30","DOI":"10.1007\/978-3-642-83189-8"},{"unstructured":"Marek, V. and V.S. Subramanian, \u201dThe Relationship between Logic Program Semantics and Non-Monotonic Reasoning,\u201d Proc. 6th Int. Conference on Logic Programming, pp. 598\u2013616, MIT Press, 1989.","key":"1_CR31"},{"issue":"4","key":"1_CR32","first-page":"28","volume":"10","author":"K. Morris","year":"1987","unstructured":"Morris, K. et al. \u201dYAWN! (Yet Another Window on NAIL!), Data Engineering, Vol.10, No. 4, pp. 28\u201344, Dec. 1987.","journal-title":"Data Engineering"},{"doi-asserted-by":"crossref","unstructured":"Michie, D. \u201c'Memo\u2019 Functions and Machine Learning\u201d in Nature, April 1968.","key":"1_CR33","DOI":"10.1038\/218019a0"},{"doi-asserted-by":"crossref","unstructured":"Naqvi, S. and R. Krishnamurthy, \u201dSemantics of Updates in logic Programming\u201d, Proc. 7th ACM SIGMOD-SIGACT Symp. on Principles of Database Systems, pp. 251\u2013261","key":"1_CR34","DOI":"10.1145\/308386.308451"},{"key":"1_CR35","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"S. Naqvi","year":"1987","unstructured":"Naqvi, S. \u201dA Logic for Negation in Database Systems,\u201d in Foundations of Deductive Databases and Logic Programming, (Minker, J. ed.), Morgan Kaufman, Los Altos, 1987."},{"unstructured":"S. Naqvi, and S. Tsur. \u201cA Logical Language for Data and Knowledge Bases,\u201d W. H. Freeman Publ., 1989.","key":"1_CR36"},{"key":"1_CR37","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"T. Przymusinski","year":"1987","unstructured":"Przymusinski, T., \u201dOn the Semantics of Stratified Deductive Databases and Logic Programs\u201d, in Foundations of Deductive Databases and Logic Programming, (Minker, J. ed.), Morgan Kaufman, Los Altos, 1987."},{"unstructured":"Przymusinski, T., \u201dNon-Monotonic Formalism and Logic Programming,\u201d Proc. 6th Int. Conference on Logic Programming, pp. 656\u2013674, MIT Press, 1989.","key":"1_CR38"},{"doi-asserted-by":"crossref","unstructured":"Ramakrishnan, R., C. Beeri and Krishnamurthy, \u201dOptimizing Existential Datalog Queries,\u201d Proc. 7th ACM SIGMOD-SIGACT Symp. on Principles of Database Systems, pp. 89\u2013102, 1988.","key":"1_CR39","DOI":"10.1145\/308386.308420"},{"unstructured":"Ramamohanarao, K. and J. Sheperd, \u201cAnswering Queries in Deductive Databases\u201d, Proc. 4th Int. Conference on Logic Programming, pp. 1014\u20131033, MIT Press, 1987.","key":"1_CR40"},{"doi-asserted-by":"crossref","unstructured":"Rowe, L. and K.A. Shones, \u201cData Abstraction, Views and Updates in RIGEL\u201d, Proc. ACM SIGMOD Int. Conf. on Management of Data, pp. 71\u201381, 1979.","key":"1_CR41","DOI":"10.1145\/582095.582107"},{"unstructured":"Sacc\u00e1 D., Zaniolo, C., \u201dImplementation of Recursive Queries for a Data Language based on Pure Horn Logic,\u201d Proc. Fourth Int. Conference on Logic Programming, Melbourne, Australia, 1987.","key":"1_CR42"},{"unstructured":"Sacc\u00e1 D., Zaniolo, C., \u201dThe Generalized Counting Method for Recursive Logic Queries,\u201d Journal of Theoretical Computer Science, 61, 1988.","key":"1_CR43"},{"doi-asserted-by":"crossref","unstructured":"Sacc\u00e1 D., Zaniolo, C., \u201dStable Models and Non-Determinism in Logic Programs with Negation,\u201d MCC Tech. Rep., ACT-ST-202, 1989.","key":"1_CR44","DOI":"10.1145\/298514.298572"},{"issue":"3","key":"1_CR45","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1145\/320557.320568","volume":"2","author":"J. Schmidt","year":"1977","unstructured":"Schmidt, J., \u201cSome High Level Language Constructs for Data of Type Relations\u201d, ACM Transactions on Database Systems, 2(3), pp. 140\u2013173, 1977.","journal-title":"ACM Transactions on Database Systems"},{"doi-asserted-by":"crossref","unstructured":"Selinger, P.G. et al. \u201dAccess Path Selection in a Relational Database Management System,\u201d Proc. ACM SIGMOD Int. Conf. on Management of Data, 1979.","key":"1_CR46","DOI":"10.1145\/582095.582099"},{"unstructured":"Shmueli, O. and S. Naqvi, \u201dSet Grouping and Layering in Horn Clause Programs,\u201d Proc. of 4th Int. Conf. on Logic Programming, pp. 152\u2013177, 1987.","key":"1_CR47"},{"doi-asserted-by":"crossref","unstructured":"Shmueli, O., S. Tsur and C. Zaniolo, \u201dRewriting of Rules Containing Set Terms in a Logic Data Language (LDL),\u201d Proc. 7th ACM SIGMOD-SIGACT Symp. on Principles of Database Systems, pp. 15\u201328, 1988.","key":"1_CR48","DOI":"10.1145\/308386.308400"},{"doi-asserted-by":"crossref","unstructured":"Tsur S., \u201cApplications of Deductive Database Systems,\u201d Proc. IEEE COMCON Spring '90 Conf., San Francisco, Feb 26\u2013March 2.","key":"1_CR49","DOI":"10.1109\/CMPCON.1990.63732"},{"key":"1_CR50","volume-title":"Database and Knowledge-Based Systems, Vols I and II","author":"J.D. Ullman","year":"1989","unstructured":"Ullman, J.D., Database and Knowledge-Based Systems, Vols I and II, Computer Science Press, Rockville, Md., 1989."},{"issue":"4","key":"1_CR51","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"M.H. Emden van","year":"1976","unstructured":"van Emden, M.H., Kowalski, R., \u201dThe semantics of Predicate Logic as a Programming Language\u201d, JACM 23, 4, 1976, pp. 733\u2013742.","journal-title":"JACM"},{"unstructured":"Warren, D.H.D., \u201dAn Abstract Prolog Instruction Set,\u201d Tech. Note 309, AI Center, Computer Science and Technology Div., SRI, 1983.","key":"1_CR52"},{"unstructured":"Zaniolo, C. \u201dProlog: a database query language for all seasons,\u201d in Expert Database Systems, Proc. of the First Int. Workshop L. Kerschberg (ed.), Benjamin\/Cummings, 1986.","key":"1_CR53"},{"unstructured":"Zaniolo, C. \u201dDesign and implementation of a logic based language for data intensive applications. Proceedings of the International Conference on Logic Programming, Seattle, 1988.","key":"1_CR54"},{"doi-asserted-by":"crossref","unstructured":"Zaniolo, C. \u201dObject Identity and Inheritance in Deductive Databases: an Evolutionary Approach,\u201d Proc. 1st Int. Conf. on Deductive and O-O Databases, Dec. 4\u20136, 1989, Kyoto, Japan.","key":"1_CR55","DOI":"10.1016\/B978-0-444-88433-6.50009-5"}],"container-title":["Lecture Notes in Computer Science","Advances in Database Technology \u2014 EDBT '90"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0022160.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T12:58:14Z","timestamp":1736081894000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022160"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540522913"],"references-count":55,"URL":"https:\/\/doi.org\/10.1007\/bfb0022160","relation":{},"subject":[]}}