{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:43:31Z","timestamp":1725662611367},"publisher-location":"Boston, MA","reference-count":16,"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_12","type":"book-chapter","created":{"date-parts":[[2012,2,24]],"date-time":"2012-02-24T05:45:50Z","timestamp":1330062350000},"page":"325-344","source":"Crossref","is-referenced-by-count":24,"title":["Integrity Checking in Deductive Data Bases"],"prefix":"10.1007","author":[{"given":"J. M.","family":"Nicolas","sequence":"first","affiliation":[]},{"given":"K.","family":"Yazdanian","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","first-page":"1","volume-title":"Data Semantics","author":"JR Abrial","year":"1974","unstructured":"Abrial, J. R. [1974] Data Semantics, Proceedings of Working Conference on Management of Data, Cargese, France, April 1974, 1\u201359."},{"key":"12_CR2","first-page":"23","volume-title":"Mathematical Foundations of Computer Science","author":"JM Cadiou","year":"1976","unstructured":"Cadiou, J. M. [1976] On Semantic Issues in the Relational Model of Data, In Mathematical Foundations of Computer Science (A. Mazurkiewiz, Ed.), Vol, 45, Springer-Verlag, 1976, 23\u201338."},{"issue":"6","key":"12_CR3","doi-asserted-by":"publisher","first-page":"560","DOI":"10.1147\/rd.206.0560","volume":"20","author":"DD Chamberlin","year":"1976","unstructured":"Chamberlin, D.D. et al.[1976] SEQUEL2: A Unified Approach to Data Definition, Manipulation, and Control, IBM Journal of Research and development\n                20, 6 (Nov. 1976), 560\u2013575.","journal-title":"IBM Journal of Research and development"},{"key":"12_CR4","series-title":"Computer Science and Applied Mathematics","volume-title":"Symbolic Logic and Mechanical Theorem Proving","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, Academic Press, Inc., New York (1973)."},{"key":"12_CR5","volume-title":"An Introduction to Data Base Systems","author":"CJ Date","year":"1975","unstructured":"Date, C. J. [1975] An Introduction to Data Base Systems, Addison-Wesley, Reading, Mass., 1975."},{"key":"12_CR6","series-title":"T-Report CERT-LBD-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-LBD-76\/5, Toulouse, France (Nov. 1976)."},{"key":"12_CR7","series-title":"Atomic Relations: A New Proposal, T-Report CERT-LBD-77\/2","volume-title":"Normal Form and Irreducible Relations","author":"R Demolombe","year":"1977","unstructured":"Demolombe, R. and Nicolas, J. M. [1977] Normal Form and Irreducible Relations. Atomic Relations: A New Proposal, T-Report CERT-LBD-77\/2, Toulouse, France (Oct. 1977)."},{"key":"12_CR8","first-page":"48","volume-title":"Functional Specifications of a Subsystem for Data Base Integrity","author":"KP Eswaran","year":"1975","unstructured":"Eswaran, K. P. and Chamberlin, D. D. [1975] Functional Specifications of a Subsystem for Data Base Integrity, Proceedings of the Int. Conference on VLDB, Framington, Mass., Sept. 1975, 48\u201368."},{"key":"12_CR9","first-page":"25","volume-title":"Semantic Integrity in a Relational Data Base System","author":"MM Hammer","year":"1975","unstructured":"Hammer, M. M. and McLeod, D. J. [1975] Semantic Integrity in a Relational Data Base System, Proceedings of the Int. Conference on VLDB, Framington, Mass., Sept. 1975, 25\u201347."},{"key":"12_CR10","volume-title":"Ph.D. Thesis, M.I.T., Cambridge, Mass., Feb. 1971","author":"C Hewitt","year":"1971","unstructured":"Hewitt, C. [1971] \u201cPLANNER: A Language for Providing Theorem and Manipulating Models in Robots,\u201d Ph.D. Thesis, M.I.T., Cambridge, Mass., Feb. 1971."},{"key":"12_CR11","series-title":"Memo","volume-title":"Logic for Problem Solving","author":"RA Kowalski","year":"1974","unstructured":"Kowalski, R. A. [1974] Logic for Problem Solving, Memo. 75, Department of Computational Logic, University of Edinburgh, (March 1974)."},{"key":"12_CR12","volume-title":"Algorithm = Logic + Control","author":"RA Kowalski","year":"1976","unstructured":"Kowalski, R. A. [1976] Algorithm = Logic + Control, Imperial College, London, (Nov. 1976)."},{"unstructured":"Minker, J. and VanderBrug, G. [1975] State Space Problem Resolution and Theorem Proving \u2014 Some Relationships, CACM (Feb. 1975), 107\u2013115.","key":"12_CR13"},{"key":"12_CR14","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 Base: Theory vs. Interpretation, In Logic and Data Bases (H. Gallaire and J. Minker, Eds,), Plenum Press, New York, 1978, 33\u201354."},{"key":"12_CR15","series-title":"Mem. ERL-M473","volume-title":"High Level Integrity Assurance in Relational Data Base Management Systems","author":"M Stonebraker","year":"1974","unstructured":"Stonebraker, M. [1974] High Level Integrity Assurance in Relational Data Base Management Systems, Mem. ERL-M473; University of California, Berkeley, California, August 1974."},{"key":"12_CR16","first-page":"65","volume-title":"Implementation of Integrity Constraints and Views by Query Modification","author":"M Stonebraker","year":"1975","unstructured":"Stonebraker, M. [1975] Implementation of Integrity Constraints and Views by Query Modification, Proceedings of the 1975 SIGMOD Conference, San Jose, California, May 1975, 65\u201378."}],"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_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,1]],"date-time":"2021-05-01T08:50:13Z","timestamp":1619859013000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4684-3384-5_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1978]]},"ISBN":["9781468433869","9781468433845"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-1-4684-3384-5_12","relation":{},"subject":[],"published":{"date-parts":[[1978]]}}}