{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:43:29Z","timestamp":1725662609769},"publisher-location":"Boston, MA","reference-count":33,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9781468433869"},{"type":"electronic","value":"9781468433845"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1978]]},"DOI":"10.1007\/978-1-4684-3384-5_10","type":"book-chapter","created":{"date-parts":[[2012,2,24]],"date-time":"2012-02-24T10:45:50Z","timestamp":1330080350000},"page":"259-289","source":"Crossref","is-referenced-by-count":4,"title":["An Axiomatic Data Base Theory"],"prefix":"10.1007","author":[{"given":"Sten-\u00c5ke","family":"T\u00e4rnlund","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"9","key":"10_CR1","doi-asserted-by":"crossref","first-page":"509","DOI":"10.1145\/361002.361007","volume":"18","author":"JL Bentley","year":"1975","unstructured":"Bentley, J. L. [1975] Multidimensional Binary Search Trees Used for Associative Searching, CACM 18, 9 (September 1975), 509\u2013516.","journal-title":"CACM"},{"key":"10_CR2","series-title":"Report","volume-title":"A Uniform Approach to Programming","author":"W Bibel","year":"1976","unstructured":"Bibel, W. [1976] A Uniform Approach to Programming, Report 7633, Technische Universit\u00e4t M\u00fcnchen, 1976."},{"key":"10_CR3","series-title":"Report CW","volume-title":"An Interpreter for Predicate Logic Programs, Part 1","author":"M Bruynooghe","year":"1976","unstructured":"Bruynooghe, M. [1976] An Interpreter for Predicate Logic Programs, Part 1. Report CW 10, Applied Maths & Programming Division, Katholieke Univ Leuven, Belgium, Oct 1976."},{"key":"10_CR4","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1007\/978-1-4684-3384-5_8","volume-title":"Logic and Data Bases","author":"CL Chang","year":"1978","unstructured":"Chang, C. L. [1978] DEDUCE 2: Further Investigations of Deduction in Relational Data Bases, In Logic and Data Bases (H. Gallaire and J. Minker, Eds.), Plenum Press, New York, New York, 1978, 201\u2013236."},{"key":"10_CR5","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/978-1-4684-3384-5_11","volume-title":"Logic and Data Bases","author":"K Clark","year":"1978","unstructured":"Clark, K. [1978] Negation as Failure, In Logic and Data Bases (H. Gallaire and J. Minker, Eds.), Plenum Press, New York, New York, 1978, 293\u2013322."},{"key":"10_CR6","first-page":"939","volume-title":"A First Order Theory of Data and Programs","author":"K Clark","year":"1977","unstructured":"Clark, K. and T\u00e4rnlund, S-\u00c5. [1977] A First Order Theory of Data and Programs, Proc. IFIP Congress 1977, North-Holland Publishing Company, Amsterdam, 1977, 939\u2013944."},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Codd, E. F. [1970] A Relational Model for Large Shared Data Banks, CACM 13, 6 (June 1970), 377\u2013387.","DOI":"10.1145\/362384.362685"},{"key":"10_CR8","volume-title":"Un Systeme de Communication Homme-Machine en Francais, Groupe d\u2019Intelligence Artificielle, U.E.R. de Luminy","author":"A Colmerauer","year":"1972","unstructured":"Colmerauer, A., Kanoui, H., Pasero, R. and Roussel, P. [1972] Un Systeme de Communication Homme-Machine en Francais, Groupe d\u2019Intelligence Artificielle, U.E.R. de Luminy, Universit\u00e9 d\u2019Aix-Marseille, Luminy, 1972."},{"key":"10_CR9","volume-title":"Ph.D. Thesis, Computer Science Department, Stanford University, 1969","author":"C Green","year":"1969","unstructured":"Green, C. [1969] \u201cThe Application of Theorem Proving to Question-Answering Systems,\u201d Ph.D. Thesis, Computer Science Department, Stanford University, 1969."},{"issue":"6","key":"10_CR10","doi-asserted-by":"crossref","first-page":"396","DOI":"10.1145\/359605.359618","volume":"20","author":"J Guttag","year":"1977","unstructured":"Guttag, J. [1977] Abstract Data Types and the Development of Data Structures, CACM 20, 6 (June 1977), 396\u2013404.","journal-title":"CACM"},{"key":"10_CR11","volume-title":"Computation and Deduction","author":"P Hayes","year":"1973","unstructured":"Hayes, P. [1973] Computation and Deduction, Proc. MFCS Conf., Czechoslovakian Academy of Sciences, 1973."},{"key":"10_CR12","unstructured":"Hewitt, C. [1972] Description and Theoretical Analysis (Using Schemata) of PLANNER: A Language for Proving Theorems and Manipulating Models in a Robot, A. J. Memo No. 251, MIT Project MAC., 1972."},{"key":"10_CR13","unstructured":"Hoare, C.A.R. [1973] Recursive Data Structures, Computer Science Dept., Stanford University, STAN-CS-73\u2013400, Oct. 1973."},{"key":"10_CR14","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/978-1-4684-3384-5_7","volume-title":"Logic and Data Bases","author":"C Kellogg","year":"1978","unstructured":"Kellogg, C., Klahr, P. and Travis, L. [1978] Deductive Planning and Pathfinding for Relational Data Bases, In Logic and Data Bases (H. Gallaire and J. Minker, Eds.), Plenum Press, New York, New York, 1978, 179\u2013200."},{"key":"10_CR15","first-page":"1968","volume-title":"The Art of Computer Programming, Vol. 1, Fundamental Algorithms","author":"D Knuth","year":"1968","unstructured":"Knuth, D. [1968] The Art of Computer Programming, Vol. 1, Fundamental Algorithms, Addison-Wesley, Reading, Massachusetts, 1968."},{"key":"10_CR16","first-page":"1973","volume-title":"The Art of Computer Programming, Vol. 3, Sorting and Searching","author":"D Knuth","year":"1973","unstructured":"Knuth, D. [1973] The Art of Computer Programming, Vol. 3, Sorting and Searching, Addison-Wesley, Reading, Massachusetts, 1973."},{"key":"10_CR17","first-page":"569","volume-title":"Predicate Logic as Programming Language","author":"R Kowalski","year":"1974","unstructured":"Kowalski, R. [1974] Predicate Logic as Programming Language, Proc. IFIP Congress 1974, North-Holland Publishing Company, Amsterdam, 1974, 569\u2013574."},{"key":"10_CR18","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/978-1-4684-3384-5_4","volume-title":"Logic and Data Bases","author":"R Kowalski","year":"1978","unstructured":"Kowalski, R. [1978] Logic for Data Description, In Logic and Data Bases (H. Gallaire and J. Minker, Eds.), Plenum Press, New York, New York, 1978, 77\u2013103."},{"issue":"4","key":"10_CR19","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1145\/942572.807045","volume":"9","author":"Barbara Liskov","year":"1974","unstructured":"Liskov, B. H. and Zilles, S. [1974] Programming with Abstract Data Types, ACM SIGPLAN Notices 9, 4 (April 1974), 50\u201359.","journal-title":"ACM SIGPLAN Notices"},{"key":"10_CR20","doi-asserted-by":"crossref","first-page":"33","DOI":"10.21236\/AD0406138","volume-title":"LISP 1.5 Programmer\u2019s Manual","author":"J McCarthy","year":"1962","unstructured":"McCarthy, J., et al. [1962] LISP 1.5 Programmer\u2019s Manual, MIT Press, Cambridge, Massachusetts, 1962, 33\u201370."},{"key":"10_CR21","volume-title":"Computer Programming and Formal Systems","author":"J McCarthy","year":"1963","unstructured":"McCarthy, J. [1963] A Basis for a Mathematical Theory of Computation, In Computer Programming and Formal Systems (P. Braffort and D. Hirschberg, Eds.), North-Holland Publishing Company, Amsterdam, 1963."},{"key":"10_CR22","volume-title":"Associative Networks ~ The Representation and Use of Knowledge","author":"JR McSkimin","year":"1978","unstructured":"McSkimin, J. R. and Minker, J. [1978] A Predicate Calculus Based Semantic Network for Question-Answering Systems, In Associative Networks ~ The Representation and Use of Knowledge (N. Findler, Ed.), Academic Press, New York, New York, 1978."},{"key":"10_CR23","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/978-1-4684-3384-5_5","volume-title":"Logic and Data Bases","author":"J Minker","year":"1978","unstructured":"Minker, J. [1978] An Experimental Data Base System Based on Logic, In Logic and Data Bases (H. Gallaire and J. Minker, Eds.), Plenum Press, New York, New York, 1978, 107\u2013147."},{"key":"10_CR24","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/978-1-4684-3384-5_2","volume-title":"Logic and Data Bases","author":"JM Nicolas","year":"1978","unstructured":"Nicolas, J. M. and Gallaire, H. [1978] Data Bases: Theory vs. Interpretation, In Logic and Data Bases (H. Gallaire and J. Minker, Eds.), Plenum Press, New York, New York, 1978, 33\u201354."},{"key":"10_CR25","first-page":"1974","volume-title":"Methods of Logic, Third Edition","author":"WV Quine","year":"1974","unstructured":"Quine, W. V. [1974] Methods of Logic, Third Edition, Rout-ledge & Kegan Paul, London, 1974."},{"key":"10_CR26","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1007\/978-1-4684-3384-5_3","volume-title":"Logic and Data Bases","author":"R Reiter","year":"1978","unstructured":"Reiter, R. [1978] On Closed World Data Bases, In Logic and Data Bases (H. Gallaire and J. Minker, Eds.), Plenum Press, New York, New York, 1978, 55\u201376."},{"issue":"1","key":"10_CR27","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"JA Robinson","year":"1965","unstructured":"Robinson, J. A. [1965] A Machine-Oriented Logic Based on the Resolution Principle, JACM 12, 1 (January 1965), 23\u201341.","journal-title":"JACM"},{"key":"10_CR28","volume-title":"PROLOG: Manuel de Reference et d\u2019utilisation","author":"P Roussel","year":"1975","unstructured":"Roussel, P. [1975] PROLOG: Manuel de Reference et d\u2019utilisation, Groupe d\u2019Intelligence Artificielle, U.E.R. de Luminy, Marseille, September 1975."},{"key":"10_CR29","series-title":"Dept. of Inofrmation Processing Computer Science","volume-title":"Logic Information Processing","author":"S-\u00c5 T\u00e4rnlund","year":"1975","unstructured":"T\u00e4rnlund, S- \u00c5. [1975] Logic Information Processing, Dept. of Inofrmation Processing Computer Science, TRITA-IBADB 1034, The Royal Institute of Technology and The University of Stockholm, Sweden, 1975."},{"key":"10_CR30","series-title":"Department of Information Processing Computer Science","volume-title":"A Logical Basis for Data Bases","author":"S-\u00c5 T\u00e4rnlund","year":"1976","unstructured":"T\u00e4rnlund, S-\u00c5. [1976] A Logical Basis for Data Bases, Department of Information Processing Computer Science, TRITA-IBADB-1029, The Royal Institute of Technology and The University of Stockholm, Sweden, 1976."},{"issue":"2","key":"10_CR31","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/BF01932293","volume":"17","author":"S-\u00c5 T\u00e4rnlund","year":"1977","unstructured":"T\u00e4rnlund, S- \u00c5. [1977] Horn Clause Computability, BIT 17, 2 (1977), 215\u2013226.","journal-title":"BIT"},{"key":"10_CR32","volume-title":"Formal Description of Programming Concepts","author":"M Emden van","year":"1978","unstructured":"van Emden, M. [1978] Computation and Deductive Information Retrieval, In Formal Description of Programming Concepts (E. Neuhold, Ed.), North-Holland Publishing Company, (to appear)."},{"key":"10_CR33","volume-title":"Implementing Prolog \u2014 Compiling Predicate Logic Programs","author":"D Warren","year":"1977","unstructured":"Warren, D. [1977] Implementing Prolog \u2014 Compiling Predicate Logic Programs, Dept. of AI, No. 39, Edinburgh, 1977."}],"container-title":["Logic and Data Bases"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4684-3384-5_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,18]],"date-time":"2020-11-18T06:46:55Z","timestamp":1605682015000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4684-3384-5_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1978]]},"ISBN":["9781468433869","9781468433845"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-1-4684-3384-5_10","relation":{},"subject":[],"published":{"date-parts":[[1978]]}}}