{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,10]],"date-time":"2023-01-10T14:26:32Z","timestamp":1673360792939},"reference-count":29,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1990,3,1]],"date-time":"1990-03-01T00:00:00Z","timestamp":636249600000},"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 & Knowledge Engineering"],"published-print":{"date-parts":[[1990,3]]},"DOI":"10.1016\/0169-023x(90)90032-9","type":"journal-article","created":{"date-parts":[[2003,3,14]],"date-time":"2003-03-14T17:15:20Z","timestamp":1047662120000},"page":"39-58","source":"Crossref","is-referenced-by-count":5,"title":["Knowledge management in deductive object bases"],"prefix":"10.1016","volume":"5","author":[{"given":"P.C-Y.","family":"Sheu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"W.","family":"Sull","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"1","key":"10.1016\/0169-023X(90)90032-9_BIB1","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1145\/22890.22945","article-title":"Data model issues for object-oriented applications","volume":"5","author":"Banerjee","year":"1987","journal-title":"ACM Trans. Office Information Systems"},{"key":"10.1016\/0169-023X(90)90032-9_BIB2","series-title":"Concurrency Control and Recovery in Database Systems","author":"Bernstein","year":"1987"},{"key":"10.1016\/0169-023X(90)90032-9_BIB3","series-title":"Int. Conf. Very Large Data Bases","first-page":"13","article-title":"Checking consistency of database constraints: a logical basis","author":"Bry","year":"1986"},{"key":"10.1016\/0169-023X(90)90032-9_BIB4","series-title":"Proc. IJCAI","first-page":"1017","article-title":"Solving mechanics problems using meta-level inference","author":"Bundy","year":"1979"},{"issue":"1","key":"10.1016\/0169-023X(90)90032-9_BIB5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/5001.5390","article-title":"Parlog: parallel programming in logic","volume":"8","author":"Clark","year":"1986","journal-title":"ACM Trans. on Programming Language and Systems"},{"key":"10.1016\/0169-023X(90)90032-9_BIB6","series-title":"Proc. SIGMOD","first-page":"316","article-title":"Making smalltalk a database system","author":"Copeland","year":"1984"},{"key":"10.1016\/0169-023X(90)90032-9_BIB7","series-title":"Proc. IJCAI","first-page":"920","article-title":"Meta-level knowledge: overview and applications","author":"Davis","year":"1977"},{"key":"10.1016\/0169-023X(90)90032-9_BIB8","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/0004-3702(80)90043-0","article-title":"Meta-rules: reasoning about control","volume":"15","author":"Davis","year":"1980","journal-title":"Artificial Intelligence"},{"issue":"2","key":"10.1016\/0169-023X(90)90032-9_BIB9","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1145\/356924.356929","article-title":"Logic and databases: a deductive approach","volume":"16","author":"Gallaire","year":"1984","journal-title":"ACM Computing Surveys"},{"key":"10.1016\/0169-023X(90)90032-9_BIB10","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1016\/0004-3702(82)90039-X","article-title":"Procedural control in production systems","volume":"18","author":"Georgeff","year":"1982","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0169-023X(90)90032-9_BIB11","series-title":"Proc. IJCAI","first-page":"559","article-title":"In defense of logic","author":"Hayes","year":"1977"},{"issue":"1","key":"10.1016\/0169-023X(90)90032-9_BIB12","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1109\/MC.1986.1663036","article-title":"From data management to knowledge management","volume":"19","author":"Kellogg","year":"1986","journal-title":"Computer"},{"key":"10.1016\/0169-023X(90)90032-9_BIB13","series-title":"Logic for Problem Solving","author":"Kowalski","year":"1979"},{"key":"10.1016\/0169-023X(90)90032-9_BIB14","series-title":"Int. Conf. Very Large Data Bases","first-page":"61","article-title":"Integrity checking in deductive databases","author":"Kowalski","year":"1987"},{"key":"10.1016\/0169-023X(90)90032-9_BIB15","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1007\/BF03037329","article-title":"A knowledge assimilation method for logic databases","volume":"2","author":"Miyachi","year":"1984","journal-title":"New Generation Computing"},{"key":"10.1016\/0169-023X(90)90032-9_BIB16","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/0004-3702(80)90012-0","article-title":"Non-monotonic logic","volume":"13","author":"McDermott","year":"1980","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0169-023X(90)90032-9_BIB17","series-title":"Expert Database Systems","article-title":"The role of constraints in databases, expert systems, and knowledge representation","author":"Morgenstern","year":"1986"},{"key":"10.1016\/0169-023X(90)90032-9_BIB18","doi-asserted-by":"crossref","unstructured":"J-M. Nicolas and H. Gallaire, Database: theory vs. interpretation, in Logic and Databases, H. Gallaire and J. Minker (Eds) (Plenum, New York) 33\u201354.","DOI":"10.1007\/978-1-4684-3384-5_2"},{"key":"10.1016\/0169-023X(90)90032-9_BIB19","series-title":"Proc. IJCAI","first-page":"375","article-title":"Checking an expert systems knowledge base for consistency and completeness","author":"Nguyen","year":"1985"},{"key":"10.1016\/0169-023X(90)90032-9_BIB20","series-title":"Logic and Databases","first-page":"56","article-title":"On closed world databases","author":"Reiter","year":"1981"},{"key":"10.1016\/0169-023X(90)90032-9_BIB21","series-title":"Proc. IJCAI","first-page":"183","article-title":"Foundations of assumption-based truth maintenance systems","author":"Reiter","year":"1987"},{"key":"10.1016\/0169-023X(90)90032-9_BIB22","series-title":"Proc. VLDB","first-page":"83","article-title":"The POSTGRES data model","author":"Rowe","year":"1987"},{"key":"10.1016\/0169-023X(90)90032-9_BIB23","series-title":"Proc. 11th Annual ACM Symposium on Principles of Programming Languages","first-page":"93","article-title":"System programming in concurrent prolog","author":"Shapiro","year":"1984"},{"issue":"3\/4","key":"10.1016\/0169-023X(90)90032-9_BIB24","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1016\/0736-5845(88)90006-3","article-title":"Programming robot systems with knowledge","volume":"4","author":"Sheu","year":"1988","journal-title":"Int. J. Robotic and Manufacturing Systems"},{"issue":"3","key":"10.1016\/0169-023X(90)90032-9_BIB25","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1007\/BF02601589","article-title":"Object-oriented knowledge bases in automatic manufacturing environments","volume":"3","author":"Sheu","year":"1988","journal-title":"Int. J. Advanced Manufacturing Technology"},{"issue":"1","key":"10.1016\/0169-023X(90)90032-9_BIB26","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/0097-8493(88)90016-7","article-title":"Object-oriented graphics knowledge bases","volume":"12","author":"Sheu","year":"1988","journal-title":"J. Computers and Graphics"},{"issue":"5","key":"10.1016\/0169-023X(90)90032-9_BIB27","doi-asserted-by":"crossref","DOI":"10.1016\/0010-4485(88)90073-5","article-title":"VLSI design with object-oriented knowledge bases","volume":"20","author":"Sheu","year":"1988","journal-title":"J. Computer Aided Design"},{"key":"10.1016\/0169-023X(90)90032-9_BIB28","series-title":"Logic Programming '86","article-title":"On parallel programming methodology in GHC","volume":"264","author":"Takahashi","year":"1986"},{"key":"10.1016\/0169-023X(90)90032-9_BIB29","series-title":"Symp. on Logic Programming","article-title":"Object-base logic programming","author":"Zanilo","year":"1984"}],"container-title":["Data & Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0169023X90900329?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0169023X90900329?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,3,17]],"date-time":"2020-03-17T23:36:27Z","timestamp":1584488187000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0169023X90900329"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990,3]]},"references-count":29,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1990,3]]}},"alternative-id":["0169023X90900329"],"URL":"https:\/\/doi.org\/10.1016\/0169-023x(90)90032-9","relation":{},"ISSN":["0169-023X"],"issn-type":[{"value":"0169-023X","type":"print"}],"subject":[],"published":{"date-parts":[[1990,3]]}}}