{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,3]],"date-time":"2023-01-03T10:09:57Z","timestamp":1672740597077},"publisher-location":"Boston, MA","reference-count":21,"publisher":"Springer US","isbn-type":[{"value":"9781468433869","type":"print"},{"value":"9781468433845","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1978]]},"DOI":"10.1007\/978-1-4684-3384-5_2","type":"book-chapter","created":{"date-parts":[[2012,2,24]],"date-time":"2012-02-24T10:45:50Z","timestamp":1330080350000},"page":"33-54","source":"Crossref","is-referenced-by-count":32,"title":["Data Base: Theory vs. Interpretation"],"prefix":"10.1007","author":[{"given":"J. M.","family":"Nicolas","sequence":"first","affiliation":[]},{"given":"H.","family":"Gallaire","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","first-page":"47","volume-title":"A Complete Axiomatization for Functional and Multivalued Dependencies in Data Base Relations","author":"C Beeri","year":"1977","unstructured":"Beeri, C., Fagin, R., and Howard, H.J. [1977] A Complete Axiomatization for Functional and Multivalued Dependencies in Data Base Relations, Proceedings of ACM SIGMOD Conference, Toronto, Canada, August 1977, 47\u201361."},{"key":"2_CR2","volume-title":"Symbolic Logic and Mechanical Theorem Proving, Computer Science and Applied Mathematics","author":"CL Chang","year":"1973","unstructured":"Chang, C. L. and Lee, R.C.T. [1973] Symbolic Logic and Mechanical Theorem Proving, Computer Science and Applied Mathematics, Series of Academic Press, Inc., New York, N.Y., 1973."},{"key":"2_CR3","first-page":"108","volume-title":"Pattern Recognition and Artificial Intelligence","author":"CL Chang","year":"19761976","unstructured":"Chang, C. L. [1976] Deduce: A Deductive Language for Relational Data Bases, In Pattern Recognition and Artificial Intelligence (C. H. Chen, Ed.), Academic Press, New York, N.Y., 1976, 108\u2013134."},{"key":"2_CR4","first-page":"1017","volume-title":"Recent Investigation in Relational Data Base Systems","author":"EF Codd","year":"1974","unstructured":"Codd, E. F. [1974] Recent Investigation in Relational Data Base Systems, Proceedings of IFIP Congress 74, Stockholm, Sweden, August 1974, 1017\u20131921."},{"key":"2_CR5","volume-title":"Les grammaires de m\u00e9tamorphose","author":"A Colmerauer","year":"1975","unstructured":"Colmerauer, A. [1975] Les grammaires de m\u00e9tamorphose, T.R. Groupe d\u2019 Intelligence Artificielle, Marseille, France, Nov. 1975."},{"key":"2_CR6","volume-title":"An Introduction to Database Systems","author":"CJ Date","year":"1977","unstructured":"Date, C. J. [1977] An Introduction to Database Systems (Second Edition), Addison-Wesley Publishing Company, Reading, Massachusetts, 1977.","edition":"2"},{"key":"2_CR7","series-title":"T. Report CERT \u2014 LDB \u2014 76\/5","volume-title":"Knowledge Representation and Evolutivity in Data Base Management Systems","author":"R Demolombe","year":"1976","unstructured":"Demolombe, R. and Nicolas, J. M. [1976] Knowledge Representation and Evolutivity in Data Base Management Systems, T. Report CERT \u2014 LDB \u2014 76\/5, Toulouse, France, Nov. 1976."},{"issue":"2","key":"2_CR8","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/0004-3702(75)90005-3","volume":"6","author":"DH Fishman","year":"1975","unstructured":"Fishman, D. H. and Minker, J. [1975] \u03a0-Representat ion. A Clause Representation for Parallel Search, Artificial Intelligence 6, 2 (1975), 103\u2013127.","journal-title":"Artificial Intelligence"},{"issue":"1","key":"2_CR9","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1093\/comjnl\/17.1.52","volume":"17","author":"JJ Florentin","year":"1974","unstructured":"Florentin, J. J. [1974] Consistency Auditing of Data Bases, The Computer Journal 17,1 (Feb. 1974), 52\u201358.","journal-title":"The Computer Journal"},{"key":"2_CR10","first-page":"181","volume-title":"A Deductive Capability for Data Base Management","author":"C Kellogg","year":"1976","unstructured":"Kellogg, C., Klahr, P., and Travis, L. [1976] A Deductive Capability for Data Base Management, Proceedings of 2nd Int. Conference on VLDB, Brussels, Belgium, Sept. 1976, 181\u2013196."},{"key":"2_CR11","first-page":"1968","volume-title":"Mathematical Logic","author":"SC Kleene","year":"1968","unstructured":"Kleene, S. C. [1968] Mathematical Logic, John Wiley and Sons, Inc., New York, 1968."},{"key":"2_CR12","volume-title":"Logic and Data Bases","author":"RA Kowalski","year":"1976","unstructured":"Kowalski, R. A. [1976] Logic and Data Bases, Logic Programming Meeting, Imperial College, London, May 1976."},{"key":"2_CR13","volume-title":"Associative Networks \u2014 The Representation and Use of Knowledge in Computers","author":"JR McSkimin","year":"19781978","unstructured":"McSkimin, J.R. and Minker, J. [1978] A Predicate Calculus Based Semantic Network for Question-Answering Systems, In Associative Networks \u2014 The Representation and Use of Knowledge in Computers (N. Findler, Ed.), Adacemic Press, New York, N.Y., 1978 (in press)."},{"key":"2_CR14","first-page":"50","volume-title":"The Use of a Semantic Network in a Deductive Question-Answering System","author":"JR McSkimin","year":"1977","unstructured":"McSkimin, J. R. and Minker, J. [1977] The Use of a Semantic Network in a Deductive Question-Answering System, Proceedings IJCAI-77, Cambridge, Massachusetts, 1977, 50\u201358."},{"key":"2_CR15","first-page":"1964","volume-title":"Introduction to Mathematical Logic","author":"E Mendelson","year":"1964","unstructured":"Mendelson, E. [1964] Introduction to Mathematical Logic, D. Van Nostrand, New York, 1964."},{"key":"2_CR16","first-page":"595","volume-title":"Natural Question Answering and Automatic Deduction in the System Syntex","author":"JM Nicolas","year":"1974","unstructured":"Nicolas, J.M. and Syre, J.C. [1974] Natural Question Answering and Automatic Deduction in the System Syntex, Proceedings of IFIP Congress 1974, Stockholm, Sweden, August 1974, 595\u2013599."},{"key":"2_CR17","series-title":"T. Report CERT \u2014 LBD 76\/1","volume-title":"Contribution of Predicate Logic to Data Bases","author":"JM Nicolas","year":"1976","unstructured":"Nicolas, J.M., Demolombe, R. and Yazdanian, K. [1976] Contribution of Predicate Logic to Data Bases, T. Report CERT \u2014 LBD 76\/1, Toulouse, France, Sept. 1976."},{"key":"2_CR18","series-title":"T. Report CERT \u2014 LBD 77\/1","volume-title":"A short note on the use of first order logic in the formalization of functional and multivalued dependencies","author":"JM Nicolas","year":"1977","unstructured":"Nicolas, J. M. and Demolombe, R. [1977] A short note on the use of first order logic in the formalization of functional and multivalued dependencies, T. Report CERT \u2014 LBD 77\/1, Toulouse, France, Sept. 1977."},{"key":"2_CR19","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1007\/978-1-4684-3384-5_12","volume-title":"Logic and Data Bases","author":"JM Nicolas","year":"1978","unstructured":"Nicolas, J.M. and Yazdanian, K. [1978] Integrity Checking in Deductive Data Bases, In Logic and Data Bases (H. Gallaire and J. Minker, Eds.), Plenum Press, New York, N.Y., 1978, 325\u2013344."},{"key":"2_CR20","series-title":"BBN Report No. 3649","doi-asserted-by":"crossref","DOI":"10.21236\/ADA046550","volume-title":"An Approach to Deductive Question-Answering","author":"R Reiter","year":"1977","unstructured":"Reiter, R. [1977] An Approach to Deductive Question-Answering, BBN Report No. 3649, Cambridge, Mass., Sept. 1977."},{"key":"2_CR21","volume-title":"PROLOG \u2014 Manuel de r\u00e9f\u00e9rence et dutilisation","author":"P Roussel","year":"1975","unstructured":"Roussel, P [1975] PROLOG \u2014 Manuel de r\u00e9f\u00e9rence et dutilisation, Groupe d\u2019Intelligence Artificielle, Marseille, France Sept, 1975."}],"container-title":["Logic and Data Bases"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4684-3384-5_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,1]],"date-time":"2021-05-01T12:50:15Z","timestamp":1619873415000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4684-3384-5_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1978]]},"ISBN":["9781468433869","9781468433845"],"references-count":21,"URL":"http:\/\/dx.doi.org\/10.1007\/978-1-4684-3384-5_2","relation":{},"published":{"date-parts":[[1978]]}}}