{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T12:19:01Z","timestamp":1649161141788},"reference-count":23,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1990,9,1]],"date-time":"1990-09-01T00:00:00Z","timestamp":652147200000},"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":["Data &amp; Knowledge Engineering"],"published-print":{"date-parts":[[1990,9]]},"DOI":"10.1016\/0169-023x(90)90002-u","type":"journal-article","created":{"date-parts":[[2003,3,14]],"date-time":"2003-03-14T17:15:20Z","timestamp":1047662120000},"page":"207-226","source":"Crossref","is-referenced-by-count":8,"title":["Integration of functions in logic database systems"],"prefix":"10.1016","volume":"5","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\/0169-023X(90)90002-U_BIB1","series-title":"Proc. Europ. Conf. Extending Database Technology (EDBT88)","article-title":"COL: a logic-based language for complex objects","author":"Abiteboul","year":"1988"},{"key":"10.1016\/0169-023X(90)90002-U_BIB2","doi-asserted-by":"crossref","DOI":"10.1145\/971701.50218","article-title":"Data functions, Datalog and negation","author":"Abiteboul","year":"1988","journal-title":"ACM-SIGMOD"},{"key":"10.1016\/0169-023X(90)90002-U_BIB3","article-title":"Towards a theory of declarative knowledge","author":"Apt","year":"1986","journal-title":"IBM Res. Report RC 11681"},{"key":"10.1016\/0169-023X(90)90002-U_BIB4","unstructured":"W.W. Armstrong, Dependency structures of database relationships, Proc. 1974 IFIP Congress (North-Holland, Amsterdam)."},{"key":"10.1016\/0169-023X(90)90002-U_BIB5","series-title":"Proc. ACM-SIGMOD Conf.","article-title":"An amateur's introduction to recursive query processing","author":"Bancilhon","year":"1986"},{"key":"10.1016\/0169-023X(90)90002-U_BIB6","series-title":"IFIP World Conf.","article-title":"Some steps toward a DBMS-based KBMS","author":"Bocca","year":"1986"},{"key":"10.1016\/0169-023X(90)90002-U_BIB7","series-title":"Readings in Artificial Intelligence and Databases","article-title":"Future intelligent information systems: AI and database technologies working together","author":"Brodie","year":"1988"},{"key":"10.1016\/0169-023X(90)90002-U_BIB8","series-title":"Logic Programming and Databases","author":"Ceri","year":"1989"},{"key":"10.1016\/0169-023X(90)90002-U_BIB9","doi-asserted-by":"crossref","DOI":"10.1109\/32.21742","article-title":"Efficient database access through Prolog","author":"Ceri","year":"1989","journal-title":"IEEE-Trans. Software Engrg."},{"key":"10.1016\/0169-023X(90)90002-U_BIB10","series-title":"Proc. ACM SIGMOD-SIGACT Symp. Principles of Database Systems","article-title":"Why not negation by fixpoint?","author":"Kolaitis","year":"1988"},{"key":"10.1016\/0169-023X(90)90002-U_BIB11","series-title":"Proc. ACM SIGMOD-SIGACT Symp. Principles of Database Systems","article-title":"On the expressive power of logic programming language with sets","author":"Kuper","year":"1988"},{"key":"10.1016\/0169-023X(90)90002-U_BIB12","article-title":"MilAnt: An extension of Datalog with complex objects, functions and negation","author":"Lambrichts","year":"1988","journal-title":"UIA Internal Report 88-34"},{"key":"10.1016\/0169-023X(90)90002-U_BIB13","series-title":"Second Symp. Mathematical Fundamentals of Database Theory (MFDBS89)","article-title":"Integration of functions in the fixpoint semantics of rule-based systems","author":"Lambrichts","year":"1989"},{"key":"10.1016\/0169-023X(90)90002-U_BIB14","series-title":"Foundations of Logic Programming","author":"Lloyd","year":"1984"},{"key":"10.1016\/0169-023X(90)90002-U_BIB15","series-title":"Foundations of Deductive Databases and Logic Programming","year":"1986"},{"key":"10.1016\/0169-023X(90)90002-U_BIB16","series-title":"The Structure of the Relational Database Model","author":"Paredaens","year":"1989"},{"key":"10.1016\/0169-023X(90)90002-U_BIB17","series-title":"Workshop Deductive Databases","article-title":"On the semantics of a stratified deductive databases","author":"Przymusinski","year":"1986"},{"key":"10.1016\/0169-023X(90)90002-U_BIB18","series-title":"Proc. ACM SIGMOD-SIGACT Symp. Principles of Database Systems","article-title":"What should a database know?","author":"Reiter","year":"1988"},{"key":"10.1016\/0169-023X(90)90002-U_BIB19","doi-asserted-by":"crossref","DOI":"10.1145\/38714.38725","article-title":"Magic counting methods","author":"Sacca","year":"1987","journal-title":"ACM-SIGMOD"},{"key":"10.1016\/0169-023X(90)90002-U_BIB20","volume":"Volume I","author":"Ullman","year":"1988"},{"key":"10.1016\/0169-023X(90)90002-U_BIB21","series-title":"Proc. First Internat. Conf. Expert Database Systems","article-title":"Recursive axioms in deductive databases: the Query-Subquery approach","author":"Vieille","year":"1986"},{"key":"10.1016\/0169-023X(90)90002-U_BIB22","series-title":"Proc. ACM SIGMOD 89 Conf.","article-title":"Relational specifications of infinite query answers","author":"Chomicki","year":"1989"},{"key":"10.1016\/0169-023X(90)90002-U_BIB23","series-title":"Proc. ACM-SIGACT-SIGMOD-SIGART-PODS","article-title":"Every logic program has a natural stratification and an iterated least fixed point model","author":"Przymusinski","year":"1989"}],"container-title":["Data &amp; Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0169023X9090002U?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0169023X9090002U?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,26]],"date-time":"2019-03-26T15:27:25Z","timestamp":1553614045000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0169023X9090002U"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990,9]]},"references-count":23,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1990,9]]}},"alternative-id":["0169023X9090002U"],"URL":"https:\/\/doi.org\/10.1016\/0169-023x(90)90002-u","relation":{},"ISSN":["0169-023X"],"issn-type":[{"value":"0169-023X","type":"print"}],"subject":[],"published":{"date-parts":[[1990,9]]}}}