{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T17:47:07Z","timestamp":1725644827091},"publisher-location":"Berlin, Heidelberg","reference-count":21,"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_16","type":"book-chapter","created":{"date-parts":[[2011,12,21]],"date-time":"2011-12-21T13:41:40Z","timestamp":1324474900000},"page":"196-215","source":"Crossref","is-referenced-by-count":6,"title":["DBA*: Solving Combinatorial Problems with Deductive Databases"],"prefix":"10.1007","author":[{"given":"Helmut","family":"Schmidt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Werner","family":"Kiessling","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ulrich","family":"G\u00fcntzer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rudolf","family":"Bayer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","volume-title":"The Design and Analysis of Computer Algorithms","author":"A Aho","year":"1974","unstructured":"Aho, A.; Hopcroft, J.; Ullman, J.: The Design and Analysis of Computer Algorithms, Addison Wesley, 1974."},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"Aho, A.; Ullman, J.: Universality of Data Retrieval Languages, 6th ACM Symposium on Principles of Programming Languages, 1979, pp. 110\u2013120.","DOI":"10.1145\/567752.567763"},{"key":"16_CR3","first-page":"120","volume-title":"On Knowledge Base Management Systems","author":"F Bancilhon","year":"1986","unstructured":"Bancilhon, F.: Naive Evaluation of Recursively Defined Relations, in On Knowledge Base Management Systems, Brodie and Mylopoulos, eds, Springer, 1986, pp. 120\u2013129."},{"key":"16_CR4","first-page":"16","volume-title":"An amateurs introduction to recursive query processing strategies","author":"F Bancilhon","year":"1986","unstructured":"Bancilhon, F.; Ramakrishan, R.: An amateurs introduction to recursive query processing strategies, ACM SIGMOD, Washington, May 1986, pp. 16\u201352."},{"key":"16_CR5","first-page":"1","volume-title":"Database Technology for Expert Systems","author":"R Bayer","year":"1985","unstructured":"Bayer, R.: Database Technology for Expert Systems, Internationaler GI-Kongress 85, Wissensbasierte Systeme, Informatik Fachberichte 112, Springer Verlag, 1985, pp. 1\u201316."},{"key":"16_CR6","first-page":"21","volume-title":"Sets and Negation in a Logic Database Language (LDL1)","author":"C Beeri","year":"1987","unstructured":"Beeri, C; Naqvi, S.; Ramakrishnan, R.; Shmueli, O.; Tsur, S.: Sets and Negation in a Logic Database Language (LDL1), 6th ACM Symposium on Principles of Database Systems, San Diego, March, 1987, pp. 21\u201337."},{"issue":"3","key":"16_CR7","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1016\/0743-1066(87)90004-5","volume":"4","author":"J Balbin","year":"1987","unstructured":"Balbin, J.; Ramamohanarao, K.: A Generalization of the Differential Approach to Recursive Query Evaluation, Journal of Logic Programming, Vol. 4, No. 3, Sept. 1987, pp. 259\u2013262.","journal-title":"Journal of Logic Programming"},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"G\u00fcntzer, U.; Kiessling, W.; Bayer, R.: On the Evaluation of Recursion in (Deductive) Database Systems by Efficient Differential Fixpoint Iteration, 3rd International Conference on Data Engineering, Los Angeles, Febr. 1987, pp. 120\u2013129.","DOI":"10.1109\/ICDE.1987.7272365"},{"key":"16_CR9","unstructured":"Kung, R.; Hanson, E.; Ioannidis, Y.; Sellis, T.; Shapiro, L.; Stonebraker, M.: Heuristic Search in Data Base Systems, 1st International Workshop on Expert Database Systems, Kiawah Island, Oct. 1984, pp. 96\u2013107."},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"Korf, R.: Depth-First Iterative-Deepening: An Optimal Admissible Tree Search, Artificial Intelligence 27,1985, pp. 97\u2013109.","DOI":"10.1016\/0004-3702(85)90084-0"},{"key":"16_CR11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"JW Lloyd","year":"1987","unstructured":"Lloyd, J.W.: Foundations of Logic Programming, Springer Verlag, 1987."},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"Morris, K.; Ullman, J.; van Gelder, A.: Design Overview of the NAIL! system, 3rd International Conference on Logic Programming, London, 1986, pp. 554\u2013568.","DOI":"10.1007\/3-540-16492-8_104"},{"key":"16_CR13","volume-title":"Principles of Artificial Intelligence","author":"N Nilsson","year":"1980","unstructured":"Nilsson, N.: Principles of Artificial Intelligence, Tioga, 1980."},{"key":"16_CR14","volume-title":"Heuristics","author":"J Pearl","year":"1984","unstructured":"Pearl, J.: Heuristics, Addison-Wesley, 1984."},{"key":"16_CR15","first-page":"16","volume-title":"On the Implementation of a Simple Class of Logic Queries for Databases","author":"D Sacca","year":"1986","unstructured":"Sacca, D.; Zaniolo, C: On the Implementation of a Simple Class of Logic Queries for Databases, ACM SIGMOD, Washington, May 1986, pp. 16\u201323."},{"key":"16_CR16","unstructured":"Schmidt, H.; Kiessling, W.; G\u00fcntzer, U.; Bayer, R.: Compiling Exploratory and Goal-Directed Deduction into Sloppy Delta-Iteration, 4th IEEE Symposium on Logic Programming, San Francisco, Sept. 1987, pp. 234\u2013243."},{"key":"16_CR17","unstructured":"Steger, N.; Schmidt, H.; G\u00fcntzer, U.; Kiessling, W.: Semantics and Efficient Compilation for Quantitative Deductive Databases, 5th International Conference on Data Engineering, Los Angeles, Febr. 1989."},{"issue":"3","key":"16_CR18","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1145\/3979.3980","volume":"10","author":"J Ullman","year":"1985","unstructured":"Ullman, J.: Implementations of Logical Query Languages for Databases, ACM Transactions on Database Systems, Vol. 10, No. 3, Sept. 1985, pp. 289\u2013321.","journal-title":"ACM Transactions on Database Systems"},{"issue":"4","key":"16_CR19","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"M Emden van","year":"1976","unstructured":"van Emden, M.; Kowalski, R.: Semantics of Predicate Logic as a Programming Language, Journal ACM, 23,4, Oct. 1976, pp. 733\u2013742.","journal-title":"Journal ACM"},{"key":"16_CR20","unstructured":"Vieille, L.: From QSQ to QoSaQ: Global Optimization of Recursive Queries, 2nd International Conference on Expert Database Systems, Tysons Corner, April 1988, pp. 421\u2013436."},{"key":"16_CR21","first-page":"458","volume-title":"The Representation and Deductive Retrieval of Complex Objects","author":"C Zaniolo","year":"1985","unstructured":"Zaniolo, C: The Representation and Deductive Retrieval of Complex Objects, VLDB 85, Stockholm, 1985, pp. 458\u2013469."}],"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_16.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_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540508946","9783642745713"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-74571-3_16","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1989]]}}}