{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T05:07:51Z","timestamp":1649135271230},"reference-count":13,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1990,7,1]],"date-time":"1990-07-01T00:00:00Z","timestamp":646790400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information Processing Letters"],"published-print":{"date-parts":[[1990,7]]},"DOI":"10.1016\/0020-0190(90)90059-7","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T04:10:11Z","timestamp":1027656611000},"page":"115-120","source":"Crossref","is-referenced-by-count":0,"title":["Checking functional consistency in deductive databases"],"prefix":"10.1016","volume":"35","author":[{"given":"Erik","family":"Lambrichts","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Nees","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Paredaens","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Peelman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Letizia","family":"Tanca","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0020-0190(90)90059-7_BIB1","article-title":"COL: a logic-based language for complex objects","author":"Abiteboul","year":"1988","journal-title":"Proc. European Conference Extending Database Technology (EDBT88)"},{"key":"10.1016\/0020-0190(90)90059-7_BIB2","doi-asserted-by":"crossref","DOI":"10.1145\/971701.50218","article-title":"Data functions, Datalog and negation","author":"Abiteboul","year":"1988","journal-title":"Proc. of the ACM-SIGMOD Conference"},{"key":"10.1016\/0020-0190(90)90059-7_BIB3","series-title":"Proc. 1974 IFIP Congress","article-title":"Dependency structures of data base relationships","author":"Armstrong","year":"1974"},{"key":"10.1016\/0020-0190(90)90059-7_BIB4","doi-asserted-by":"crossref","DOI":"10.1145\/73721.73741","article-title":"Inference of monotonicity constraints in Datalog programs","author":"Brodsky","year":"1989","journal-title":"Proc. of the eighth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems"},{"key":"10.1016\/0020-0190(90)90059-7_BIB5","article-title":"FQL-a functional query language","author":"Buneman","year":"1979","journal-title":"Proc. ACM SIGMOD conference on Management of Data"},{"key":"10.1016\/0020-0190(90)90059-7_BIB6","series-title":"Logic Programming and Databases","author":"Ceri","year":"1989"},{"issue":"6","key":"10.1016\/0020-0190(90)90059-7_BIB7","doi-asserted-by":"crossref","DOI":"10.1145\/362384.362685","article-title":"A relational model of data for large shared data banks","volume":"13","author":"Codd","year":"1970","journal-title":"Comm. ACM"},{"key":"10.1016\/0020-0190(90)90059-7_BIB8","series-title":"Proc. of the Second Symposium on Mathematical Fundamentals of Database Theory (MFDBS-89)","article-title":"Integration of functions in the fixpoint semantics of rule-based systems","author":"Lambrichts","year":"1989"},{"key":"10.1016\/0020-0190(90)90059-7_BIB9","article-title":"A recursive extension of MilAnt","author":"Lambrichts","year":"1989","journal-title":"UIA Internal Rept. 89-26"},{"key":"10.1016\/0020-0190(90)90059-7_BIB10","doi-asserted-by":"crossref","unstructured":"E. Lambrichts, P. Nees, J. Paredaens, P. Peelman and L. Tanca, Integration of functions in logic database systems, Data and Knowledge Engineering, to appear.","DOI":"10.1016\/0169-023X(90)90002-U"},{"key":"10.1016\/0020-0190(90)90059-7_BIB11","doi-asserted-by":"crossref","DOI":"10.1145\/319540.319561","article-title":"The functional data model and the data language Daplex","author":"Shipman","year":"1981","journal-title":"ACM Trans. Database Systems"},{"key":"10.1016\/0020-0190(90)90059-7_BIB12","volume":"Vol. I","author":"Ullman","year":"1988"},{"key":"10.1016\/0020-0190(90)90059-7_BIB13","article-title":"The semantics of predicate logic as a programming language","volume":"4","author":"Van Emden","year":"1976","journal-title":"J. ACM"}],"container-title":["Information Processing Letters"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0020019090900597?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0020019090900597?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,12]],"date-time":"2019-04-12T17:20:39Z","timestamp":1555089639000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0020019090900597"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990,7]]},"references-count":13,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1990,7]]}},"alternative-id":["0020019090900597"],"URL":"https:\/\/doi.org\/10.1016\/0020-0190(90)90059-7","relation":{},"ISSN":["0020-0190"],"issn-type":[{"value":"0020-0190","type":"print"}],"subject":[],"published":{"date-parts":[[1990,7]]}}}