{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T17:50:20Z","timestamp":1725645020753},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540508946"},{"type":"electronic","value":"9783642745713"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/978-3-642-74571-3_15","type":"book-chapter","created":{"date-parts":[[2011,12,21]],"date-time":"2011-12-21T13:41:40Z","timestamp":1324474900000},"page":"176-195","source":"Crossref","is-referenced-by-count":4,"title":["LILOG-DB: Database Support for Knowledge-Based Systems"],"prefix":"10.1007","author":[{"given":"Th.","family":"Ludwig","sequence":"first","affiliation":[]},{"given":"B.","family":"Walter","sequence":"additional","affiliation":[]},{"given":"M.","family":"Ley","sequence":"additional","affiliation":[]},{"given":"A.","family":"Maier","sequence":"additional","affiliation":[]},{"given":"E.","family":"Gehlen","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1016\/0304-3975(86)90047-2","volume":"45","author":"H Ait-Kaci","year":"1986","unstructured":"H. Ait-Kaci: An Algebraic Semantics Approach to Effective Resolution of Type Equations. Theoretical Computer Science 45, 1986, 293\u2013351.","journal-title":"Theoretical Computer Science"},{"key":"15_CR2","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/0743-1066(86)90013-0","volume":"3","author":"H Ait-Kaci","year":"1986","unstructured":"H. Ait-Kaci, R. Nasr: LOGIN: A Logic Programming Language with Built-in Inheritance. JLP 1986, 3, 185\u2013215.","journal-title":"JLP"},{"key":"15_CR3","unstructured":"C. Beierle, J.D\u00f6rre, U.Pletat, C. Rollinger, P.H. Schmitt, R. Studer: The Knowledge Representation Language Llilog. LILOG Report 41, 1988."},{"key":"15_CR4","volume-title":"An Algebraic Characterization of STUF","author":"C Beierle","year":"1988","unstructured":"C. Beierle, U. Pletat, H. Uszkoreit: An Algebraic Characterization of STUF. LILOG Report 40, IBM Stuttgart, 1988."},{"key":"15_CR5","first-page":"3","volume-title":"Expert Database Systems","author":"RJ Brachman","year":"1987","unstructured":"R.J. Brachman, H.J. Levesque: Tales from the Far Side of KRYPTON. In: Expert Database Systems. Ed. L. Kerschberg, Expert Database Systems, First Int. Conf., Benjamin\/Cummings, 1987, 3\u201343."},{"key":"15_CR6","first-page":"52","volume-title":"The Architecture of the EXODUS Extensible DBMS","author":"MJ Carey","year":"1986","unstructured":"M.J. Carey, D.J. DeWitt, D. Frank, G. Graefe, M. Muralikrishna, J.E. Richardson, E.J. Shekita: The Architecture of the EXODUS Extensible DBMS. Int. Workshop on Object-Oriented Database Systems, 1986, IEEE Computer Society Press, 52\u201365."},{"key":"15_CR7","first-page":"91","volume-title":"Object and File Management in the EXODUS Extensible Database System","author":"MJ Carey","year":"1986","unstructured":"M.J.Carey, D.J. DeWitt, J.E. Richardson, E.J. Shekita: Object and File Management in the EXODUS Extensible Database System. Proc. of the 12th VLDB Conf., Kyoto 1986, 91\u2013100."},{"key":"15_CR8","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1016\/0004-3702(79)90015-8","volume":"12","author":"CL Chang","year":"1979","unstructured":"C.L. Chang, J.R. Slagle: Using Rewriting Rules for Connection Graphs to Prove Theorems. Artificial Intelligence 12, 1979, 159\u2013180.","journal-title":"Artificial Intelligence"},{"key":"15_CR9","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1145\/27641.28057","volume":"5","author":"C Faloutsos","year":"1987","unstructured":"C. Faloutsos, S. Christodoulakis: Describing and Performance Analysis of Signature File Methods for Office Filing. ACM Transactions on Office Information Systems, Vol. 5, No. 3, July 1987, 237\u2013257.","journal-title":"ACM Transactions on Office Information Systems"},{"key":"15_CR10","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1145\/4078.4080","volume":"17","author":"C Faloutsos","year":"1985","unstructured":"C. Faloutsos: Access Methods for Text. Computing Surveys, Vol. 17, No. 1, March 1985, 49\u201374.","journal-title":"Computing Surveys"},{"key":"15_CR11","unstructured":"J. Freitag, Th. Bode: Ein allgemeiner Speicherobjektmanager als Implementierungsbasis f\u00fcr komplexe Objekttypen in einem Objektmanagementsystem. BTW\u201989, Z\u00fcrich, Informatik Fachberichte."},{"key":"15_CR12","first-page":"34","volume-title":"Extended Prolog for Order-Sorted Resolution","author":"M Huber","year":"1987","unstructured":"M. Huber and I. Varsek: Extended Prolog for Order-Sorted Resolution. Symposium on Logic Programming, San Francisco 1987,34\u201343."},{"key":"15_CR13","first-page":"257","volume-title":"A Logical Semantics for Feature Structures","author":"RT Kasper","year":"1986","unstructured":"R.T. Kasper, W.C. Rounds: A Logical Semantics for Feature Structures. Proceedings of the 24th Ann. Meeting of the Ass. for Computational Linguistics. Columbia University, New York 1986, 257\u2013265."},{"key":"15_CR14","doi-asserted-by":"publisher","first-page":"572","DOI":"10.1145\/321906.321919","volume":"22","author":"R Kowalski","year":"1975","unstructured":"R. Kowalski: A Proof Procedure Using Connection Graphs. JACM Vol. 22, No. 4, 1975, 572\u2013595.","journal-title":"JACM"},{"key":"15_CR15","first-page":"351","volume-title":"A Superimposed Coding Scheme Based on Multiple Block Descriptor Files for Indexing Very Large Data Bases","author":"A Kent","year":"1988","unstructured":"A. Kent, R. Sachs-Davis, K. Ramamohanarao: A Superimposed Coding Scheme Based on Multiple Block Descriptor Files for Indexing Very Large Data Bases. Proc. of the 14th VLDB Conf., Los Angeles 1988, 351\u2013359."},{"key":"15_CR16","volume-title":"Ein Fact-Manager zur persistenten Speicherung variabel strukturierter komplexer Objekte","author":"M Ley","year":"1988","unstructured":"M. Ley: Ein Fact-Manager zur persistenten Speicherung variabel strukturierter komplexer Objekte. LILOG Report 60, IBM Stuttgart, Oktober 1988."},{"key":"15_CR17","first-page":"16","volume-title":"A New Method for Fast Data Searches with Keys","author":"W Litwin","year":"1987","unstructured":"W. Litwin, D.B. Lomet: A New Method for Fast Data Searches with Keys. IEEE Software, March 1987, 16\u201324."},{"key":"15_CR18","volume-title":"EFTA: An Algebra for Deductive Retrieval of Feature-Terms","author":"T Ludwig","year":"1988","unstructured":"Th. Ludwig: EFTA: An Algebra for Deductive Retrieval of Feature-Terms. LILOG Report 58, IBM Stuttgart, October 1988."},{"key":"15_CR19","volume-title":"Algebraical Optimization of FTA-Expressions","author":"T Ludwig","year":"1988","unstructured":"Th. Ludwig: Algebraical Optimization of FTA-Expressions. LILOG Report 59, IBM Stuttgart, October 1988."},{"key":"15_CR20","first-page":"368","volume-title":"Using Active Connection Graphs for Reasoning with Recursive Rules","author":"DP McKay","year":"1981","unstructured":"D.P. McKay, S.S. Shapiro: Using Active Connection Graphs for Reasoning with Recursive Rules. IJCAI 1981, 368\u2013374."},{"key":"15_CR21","first-page":"68","volume-title":"Efficiency Considerations on Built-in Taxonomic Reasoning in Prolog","author":"G Montini","year":"1987","unstructured":"G. Montini: Efficiency Considerations on Built-in Taxonomic Reasoning in Prolog. IJCAI, Mailand 1987, 68\u201375."},{"key":"15_CR22","doi-asserted-by":"publisher","first-page":"1624","DOI":"10.1109\/PROC.1979.11543","volume":"67","author":"CS Roberts","year":"1979","unstructured":"C.S. Roberts: Partial-Match Retrieval via the Method of Superimposed Codes. Proceedings of the IEEE, Vol. 67, No. 12, December 1979, 1624\u20131642.","journal-title":"Proceedings of the IEEE"},{"key":"15_CR23","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1016\/0306-4379(83)90013-3","volume":"8","author":"R Sachs-Davis","year":"1983","unstructured":"R. Sachs-Davis, K. Ramamohanarao: A Two Level Superimposed Coding Scheme for Partial Match Retrieval. Information Systems, Vol. 8, No. 4, 1983, 273\u2013280.","journal-title":"Information Systems"},{"key":"15_CR24","first-page":"197","volume-title":"Data Structures for an Integrated Data Base Management and Information Retrieval System","author":"H-J Schek","year":"1982","unstructured":"H.-J. Schek, P. Pistor: Data Structures for an Integrated Data Base Management and Information Retrieval System. Proc. of the 8th VLDB Conf., Mexico City 1982, 197\u2013207."},{"key":"15_CR25","unstructured":"G. Smolka: A Feature Logic with Subsorts. LILOG Report 33, 1988."},{"key":"15_CR26","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1145\/3979.3980","volume":"10","author":"JD Ullman","year":"1985","unstructured":"J.D. Ullman: Implementation of Logical Query Languages for Databases.ACM Transactions on Database Systems, Vol. 10, No. 3, September 1985, 289\u2013321.","journal-title":"ACM Transactions on Database Systems"},{"key":"15_CR27","first-page":"31","volume-title":"Natural Language at the Computer. Proc. of the Scientific Symposium on Syntax and Semantik for Text Processing and Man-Machine-Communication","author":"H Uszkoreit","year":"1988","unstructured":"H. Uszkoreit: From Feature Bundles to Abstract Data Types: New Directions in the Representation and Processing of Linguistic Knowledge.In: Natural Language at the Computer. Proc. of the Scientific Symposium on Syntax and Semantik for Text Processing and Man-Machine-Communication. Ed. Blaser, Heidelberg, February 1988, 31\u201364."},{"key":"15_CR28","unstructured":"A. v. Gelder: A Message Passing Framework for Logical Query Evaluation. Stanford University, Report No. STAN-CS-85\u20131088."}],"container-title":["Informatik-Fachberichte","Datenbanksysteme in B\u00fcro, Technik und Wissenschaft"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-74571-3_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,25]],"date-time":"2020-11-25T02:25:28Z","timestamp":1606271128000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-74571-3_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540508946","9783642745713"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-74571-3_15","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1989]]}}}