{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T19:09:03Z","timestamp":1648840143296},"reference-count":32,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1987,9,1]],"date-time":"1987-09-01T00:00:00Z","timestamp":557452800000},"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":["Future Generation Computer Systems"],"published-print":{"date-parts":[[1987,9]]},"DOI":"10.1016\/0167-739x(87)90013-6","type":"journal-article","created":{"date-parts":[[2003,8,8]],"date-time":"2003-08-08T01:30:38Z","timestamp":1060306238000},"page":"201-215","source":"Crossref","is-referenced-by-count":1,"title":["Efficient processing of integrity constraints in deductive databases"],"prefix":"10.1016","volume":"3","author":[{"given":"Phillip C.","family":"Sheu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"W.S.","family":"Lee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0167-739X(87)90013-6_BIB1","series-title":"Parallel algorithms and architectures for rule-based system","author":"Gupta","year":"1986"},{"key":"10.1016\/0167-739X(87)90013-6_BIB2","series-title":"Proc. ACM SIGMOD","article-title":"Cost performance analysis of semantic integrity validation methods","author":"Badal","year":"1979"},{"key":"10.1016\/0167-739X(87)90013-6_BIB3","series-title":"Proc. Fifth Nat. Confer. Artificial Intelligence","first-page":"735","article-title":"CIS: a massively concurrent rule-based system, AAAI-86","author":"Blelloch","year":"1986"},{"key":"10.1016\/0167-739X(87)90013-6_BIB4","series-title":"Yes, an SIMD machine can be used for AI","author":"Brooks","year":"1986"},{"key":"10.1016\/0167-739X(87)90013-6_BIB5","series-title":"NETL: A System for Representing and Using Real-World Knowledge","author":"Fahlman","year":"1979"},{"key":"10.1016\/0167-739X(87)90013-6_BIB6","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1016\/0004-3702(82)90020-0","article-title":"RETE: a fact algorithm for the many pattern\/many object pattern match problem","volume":"19","author":"Forgy","year":"1982","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0167-739X(87)90013-6_BIB7","series-title":"Proc. AAAI","article-title":"Initial assessment of architectures for production system","author":"Forgy","year":"1984"},{"key":"10.1016\/0167-739X(87)90013-6_BIB8","series-title":"Information Systems","article-title":"Dynamic modelling of a simple existence constraints","author":"Furtado","year":"1981"},{"key":"10.1016\/0167-739X(87)90013-6_BIB9","series-title":"Proc. VLDB","article-title":"Impacts of logic on databases","author":"Gallaire","year":"1981"},{"issue":"2","key":"10.1016\/0167-739X(87)90013-6_BIB10","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1145\/356924.356929","article-title":"Logic and database, a deductive approach","volume":"16","author":"Gallaire","year":"1984","journal-title":"Computing Surveys"},{"key":"10.1016\/0167-739X(87)90013-6_BIB11","series-title":"The Connection Machine","author":"Hillis","year":"1985"},{"issue":"12","key":"10.1016\/0167-739X(87)90013-6_BIB12","doi-asserted-by":"crossref","DOI":"10.1145\/7902.7903","article-title":"Data parallel algorithms","volume":"29","author":"Hillis","year":"1986","journal-title":"Comm, ACM"},{"key":"10.1016\/0167-739X(87)90013-6_BIB13","doi-asserted-by":"crossref","DOI":"10.1109\/MC.1986.1663036","article-title":"From data management to knowledge management","author":"Kellogy","year":"1986","journal-title":"Computer"},{"key":"10.1016\/0167-739X(87)90013-6_BIB14","doi-asserted-by":"crossref","unstructured":"R. Paige, Applications of finite differencing to database integrity control and query\/transaction optimization, in: H. Gallaire, J. Minker and J. Nicolas, Eds., Advanced in Database Theory, Vol. 2 (Plenum Press, New York).","DOI":"10.1007\/978-1-4615-9385-0_7"},{"key":"10.1016\/0167-739X(87)90013-6_BIB15","series-title":"Proc. VLDB","article-title":"Knowledge-based integrity constraints validation","author":"Qian","year":"1986"},{"key":"10.1016\/0167-739X(87)90013-6_BIB16","series-title":"Parallel Distributed Processing: Explorations in the Microstructure of Cognition, Vol. 1: Foundations","author":"Rumelhart","year":"1986"},{"key":"10.1016\/0167-739X(87)90013-6_BIB17","series-title":"Proc. ACM SIGMOD","article-title":"PRISM: a knowledgebased system for semantic integrity specification and enforcement in database systems","author":"Shepherd","year":"1984"},{"key":"10.1016\/0167-739X(87)90013-6_BIB18","series-title":"Internat. Joint Confer. Artificial Intelligence","article-title":"NON-VON's applicability to three AI task areas","author":"Shaw","year":"1985"},{"key":"10.1016\/0167-739X(87)90013-6_BIB19","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1016\/0004-3702(85)90028-1","article-title":"Ordering conjunctive queries","volume":"26","author":"Smith","year":"1985","journal-title":"Artificial Intelligence"},{"issue":"12","key":"10.1016\/0167-739X(87)90013-6_BIB20","doi-asserted-by":"crossref","DOI":"10.1145\/7902.7907","article-title":"Parallel free-text search on the connection machine system","volume":"29","author":"Stanfill","year":"1986","journal-title":"Comm. ACM"},{"key":"10.1016\/0167-739X(87)90013-6_BIB21","article-title":"The design of POSTGRES","author":"Stonebraker","year":"1985","journal-title":"UCB\/ERL TR 85\/95"},{"key":"10.1016\/0167-739X(87)90013-6_BIB22","series-title":"Proc. Nat. Confer. Artificial Intelligence","article-title":"Five parallel algorithms for production system execution on the DADO machine","author":"Stolfo","year":"1984"},{"key":"10.1016\/0167-739X(87)90013-6_BIB23","series-title":"Proc. ACM SIGMOD","article-title":"Implementation of integrity constraints and views by query modification","author":"Stonebraker","year":"1975"},{"key":"10.1016\/0167-739X(87)90013-6_BIB24","series-title":"Nat. Confer. Artificial Intelligence","article-title":"DADO: a tree-structured machine architecture for production systems","author":"Stolfo","year":"1982"},{"issue":"12","key":"10.1016\/0167-739X(87)90013-6_BIB25","doi-asserted-by":"crossref","DOI":"10.1145\/7902.7906","article-title":"Toward memory-based reasoning","volume":"29","author":"Stanfill","year":"1986","journal-title":"Comm. ACM"},{"key":"10.1016\/0167-739X(87)90013-6_BIB26","first-page":"238","article-title":"Symbols among the neurons: details of a connectionist inference architecture","volume":"9","author":"Touretzky","year":"1985"},{"key":"10.1016\/0167-739X(87)90013-6_BIB27","doi-asserted-by":"crossref","DOI":"10.1109\/MC.1987.1663362","article-title":"Applications of the connection machine","author":"Waltz","year":"1987","journal-title":"Computer"},{"key":"10.1016\/0167-739X(87)90013-6_BIB28","article-title":"Parallel algorithms for the execution of relational database operations","author":"Bitton","year":"1983","journal-title":"ACMTODS"},{"key":"10.1016\/0167-739X(87)90013-6_BIB29","article-title":"The system architecture of a database machine (DBM)","volume":"1","author":"Yao","year":"1978","journal-title":"IEEE Database Engineering"},{"key":"10.1016\/0167-739X(87)90013-6_BIB30","doi-asserted-by":"crossref","DOI":"10.1109\/TC.1979.1675379","article-title":"DIRECT\u2014a multiprocessor organization for supporting relational database management systems","author":"DeWitt","year":"1979","journal-title":"IEEE Trans. Comput."},{"key":"10.1016\/0167-739X(87)90013-6_BIB31","series-title":"Proc. ACM SIGMOD","article-title":"Systolic (VLSI) arrays of relational database operations","author":"Kung","year":"1980"},{"key":"10.1016\/0167-739X(87)90013-6_BIB32","article-title":"The NON-VON database machine: A brief overview","volume":"4","author":"Shaw","year":"1981","journal-title":"IEEE Database Engineering"}],"container-title":["Future Generation Computer Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0167739X87900136?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0167739X87900136?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T05:20:45Z","timestamp":1552627245000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0167739X87900136"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987,9]]},"references-count":32,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1987,9]]}},"alternative-id":["0167739X87900136"],"URL":"https:\/\/doi.org\/10.1016\/0167-739x(87)90013-6","relation":{},"ISSN":["0167-739X"],"issn-type":[{"value":"0167-739X","type":"print"}],"subject":[],"published":{"date-parts":[[1987,9]]}}}