{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,11]],"date-time":"2023-01-11T05:35:25Z","timestamp":1673415325035},"reference-count":25,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1996,6,1]],"date-time":"1996-06-01T00:00:00Z","timestamp":833587200000},"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":[[1996,6]]},"DOI":"10.1016\/0169-023x(95)00047-v","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T08:12:01Z","timestamp":1027584721000},"page":"241-266","source":"Crossref","is-referenced-by-count":1,"title":["Reasoning about ER models in a deductive environment"],"prefix":"10.1016","volume":"19","author":[{"given":"Gustaf","family":"Neumann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0169-023X(95)00047-V_bib1","series-title":"Foundations of Deductive Databases and Logic Programming","first-page":"89","article-title":"Towards a theory of declarative knowledge","author":"Apt","year":"1987"},{"issue":"1","key":"10.1016\/0169-023X(95)00047-V_bib2","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1145\/320064.320066","article-title":"Computational problems related to the design of normal form relational schemas","volume":"4","author":"Beeri","year":"1979","journal-title":"ACM Trans. Database Systems"},{"issue":"1","key":"10.1016\/0169-023X(95)00047-V_bib3","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1145\/320434.320440","article-title":"The Entity-Relationship model \u2014 Toward a unified view of data","volume":"1","author":"Chen","year":"1976","journal-title":"ACM Trans. Database Systems"},{"key":"10.1016\/0169-023X(95)00047-V_bib4","unstructured":"W.C. Cheng, Tgif 2.6 \u2014 A Xlib based drawing facility under X11 (available via anonymous ftp from ftp.x.org, since May 1991)."},{"issue":"4","key":"10.1016\/0169-023X(95)00047-V_bib5","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1145\/320107.320109","article-title":"Extending the database relational model to capture more meaning","volume":"4","author":"Codd","year":"1979","journal-title":"Trans. Database Systems"},{"key":"10.1016\/0169-023X(95)00047-V_bib6","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1016\/0306-4379(88)90039-7","article-title":"Conceptual schemas applied to deductive database systems","volume":"13","author":"Dart","year":"1988","journal-title":"Information Systems"},{"key":"10.1016\/0169-023X(95)00047-V_bib7","series-title":"Fundamentals of Database Systems","author":"Elmasri","year":"1989"},{"issue":"1","key":"10.1016\/0169-023X(95)00047-V_bib8","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0169-023X(85)90027-8","article-title":"The category concept: An extension to the Entity-Relationship model","volume":"1","author":"Elmasri","year":"1985","journal-title":"Data & Knowledge Engrg."},{"issue":"2","key":"10.1016\/0169-023X(95)00047-V_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(95)00047-V_bib10","series-title":"Relational Databases and Knowledge Bases","author":"Gardarin","year":"1989"},{"key":"10.1016\/0169-023X(95)00047-V_bib11","series-title":"Proc. ACM SIGMOD, Int. Conf. on the Management of Data","first-page":"237","article-title":"Making deductive databases a practical technology: A step forward","author":"Kiernan","year":"1990"},{"key":"10.1016\/0169-023X(95)00047-V_bib12","series-title":"Logic Programming \u2014 First Russian Conference on Logic Programming. Irkutsk, Russia, September 1990 \u2014 Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 1991 \u2014 Proceedings, Lecture Notes in Artificial Intelligence","first-page":"263","article-title":"Treating enhanced Entity Relationship models in a declarative style","author":"Kehrer","year":"1992"},{"key":"10.1016\/0169-023X(95)00047-V_bib13","series-title":"Proc. 11th Int. Conf. on the Entity-Relationship Approach","first-page":"243","article-title":"An EER prototyping environment and its implementation in a datalog language","author":"Kehrer","year":"1992"},{"key":"10.1016\/0169-023X(95)00047-V_bib14","series-title":"Proc. 6th Int. Conf. on Database and Expert Systems Applications","first-page":"136","article-title":"People oriented software technology, and its use in environmental reporting","author":"Krueger","year":"1995"},{"key":"10.1016\/0169-023X(95)00047-V_bib15","series-title":"The Theory of Relational Databases","author":"Maier","year":"1983"},{"key":"10.1016\/0169-023X(95)00047-V_bib16","series-title":"Proc. 1989 ACM SIGMOD Int. Conf. on the Management of Data","first-page":"430","article-title":"On the correctness of representing extended Entity-Relationship structures in the relational model","author":"Markowitz","year":"1989"},{"issue":"3","key":"10.1016\/0169-023X(95)00047-V_bib17","doi-asserted-by":"crossref","first-page":"423","DOI":"10.1145\/132271.132273","article-title":"Representing extended Entity-Relationship structures in relational databases","volume":"17","author":"Markowitz","year":"1992","journal-title":"ACM Trans. Database Systems"},{"key":"10.1016\/0169-023X(95)00047-V_bib18","series-title":"Datenmodellierung mit deduktiven Techniken","author":"Neumann","year":"1994"},{"key":"10.1016\/0169-023X(95)00047-V_bib19","series-title":"A Logic Language for Data and Knowledge Bases","author":"Naqvi","year":"1989"},{"issue":"2","key":"10.1016\/0169-023X(95)00047-V_bib20","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1145\/320544.320546","article-title":"Database abstractions: Aggregation and generalization","volume":"2","author":"Smith","year":"1977","journal-title":"ACM Trans. Database Systems"},{"key":"10.1016\/0169-023X(95)00047-V_bib21","series-title":"Proc. ACM SIGMOD Int. Conf. on Management of Data","first-page":"442","article-title":"XSB as an efficient deductive database engine","author":"Sagonas","year":"1994"},{"key":"10.1016\/0169-023X(95)00047-V_bib22","series-title":"Object-Oriented Modeling and Design","author":"Rumbaugh","year":"1991"},{"key":"10.1016\/0169-023X(95)00047-V_bib23","series-title":"Database Modeling and Design: The Entity-Relationship Approach","author":"Teorey","year":"1990"},{"issue":"2","key":"10.1016\/0169-023X(95)00047-V_bib24","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1145\/7474.7475","article-title":"A logical design methodology for relational databases using the extended Entity-Relationship model","volume":"18","author":"Teorey","year":"1986","journal-title":"ACM Computing Surveys"},{"key":"10.1016\/0169-023X(95)00047-V_bib25","series-title":"Knowledge Systems and Prolog","author":"McCord","year":"1990"}],"container-title":["Data & Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0169023X9500047V?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0169023X9500047V?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,30]],"date-time":"2019-04-30T19:59:19Z","timestamp":1556654359000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0169023X9500047V"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,6]]},"references-count":25,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1996,6]]}},"alternative-id":["0169023X9500047V"],"URL":"https:\/\/doi.org\/10.1016\/0169-023x(95)00047-v","relation":{},"ISSN":["0169-023X"],"issn-type":[{"value":"0169-023X","type":"print"}],"subject":[],"published":{"date-parts":[[1996,6]]}}}