{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T07:38:41Z","timestamp":1649057921919},"reference-count":33,"publisher":"Elsevier BV","issue":"4","license":[{"start":{"date-parts":[[1991,7,1]],"date-time":"1991-07-01T00:00:00Z","timestamp":678326400000},"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":[[1991,7]]},"DOI":"10.1016\/0169-023x(91)90036-w","type":"journal-article","created":{"date-parts":[[2003,3,14]],"date-time":"2003-03-14T17:15:20Z","timestamp":1047662120000},"page":"297-317","source":"Crossref","is-referenced-by-count":4,"title":["Towards a formal semantics and inference rules for conceptual data models"],"prefix":"10.1016","volume":"6","author":[{"given":"Christoph F.","family":"Eick","sequence":"first","affiliation":[]},{"given":"Thomas","family":"Raupp","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"issue":"4","key":"10.1016\/0169-023X(91)90036-W_BIB1","doi-asserted-by":"crossref","first-page":"525","DOI":"10.1145\/32204.32205","article-title":"IFO: A formal semantic data model","volume":"12","author":"Abiteboul","year":"1987","journal-title":"ACM TODS"},{"key":"10.1016\/0169-023X(91)90036-W_BIB2","series-title":"Proc. IFIP TC2 Conf.","article-title":"Data semantics","author":"Abrial","year":"1984"},{"issue":"1","key":"10.1016\/0169-023X(91)90036-W_BIB3","doi-asserted-by":"crossref","first-page":"230","DOI":"10.1145\/3857.3859","article-title":"Galileo: A strongly typed, interactive conceptual language","volume":"10","author":"Albano","year":"1985","journal-title":"ACM TODS"},{"issue":"3","key":"10.1016\/0169-023X(91)90036-W_BIB4","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1016\/0169-023X(88)90011-0","article-title":"Formal properties of net-based knowledge representation schemas","volume":"3","author":"Atzeni","year":"1988","journal-title":"Data Knowledge Engineering"},{"issue":"4","key":"10.1016\/0169-023X(91)90036-W_BIB5","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1145\/320493.320489","article-title":"Synthesizing Third Normal Form Relations from Functional Dependencies","volume":"1","author":"Bernstein","year":"1976","journal-title":"ACM TODS"},{"key":"10.1016\/0169-023X(91)90036-W_BIB6","series-title":"Proc. Conf. Automata, Languages and Programming","first-page":"75","article-title":"The implication problem of data dependencies","author":"Beeri","year":"1981"},{"key":"10.1016\/0169-023X(91)90036-W_BIB7","series-title":"Proc. Advanced Seminar Theoretical Issues in Data Bases","article-title":"Semantic Models in data bases\u2014some formal aspects","author":"Bordiga","year":"1981"},{"key":"10.1016\/0169-023X(91)90036-W_BIB8","series-title":"Methodology and Tools for Data Base Design","author":"Ceri","year":"1983"},{"issue":"1","key":"10.1016\/0169-023X(91)90036-W_BIB9","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1145\/320434.320440","article-title":"The entity-relationship model-Towards a unified view of data","volume":"1","author":"Chen","year":"1976","journal-title":"ACM TODS"},{"issue":"1","key":"10.1016\/0169-023X(91)90036-W_BIB10","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1145\/362384.362685","article-title":"A relational model of data for large shared information banks","volume":"15","author":"Codd","year":"1970","journal-title":"CACM"},{"issue":"4","key":"10.1016\/0169-023X(91)90036-W_BIB11","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1145\/320107.320109","article-title":"Extending the data base relational model to capture more meaning","volume":"4","author":"Codd","year":"1979","journal-title":"ACM TODS"},{"key":"10.1016\/0169-023X(91)90036-W_BIB12","series-title":"Proc. ACM-SIGMOD Conf. on Management of Data","first-page":"418","article-title":"RIDL: A tool for the computer-assisted engineering of large databases in the presence of integrity constraints","author":"De Troyer","year":"1989"},{"key":"10.1016\/0169-023X(91)90036-W_BIB13","series-title":"Proc. First internat. Conf. on Data Engineering","first-page":"324","article-title":"From natural language requirements to good data definitions\u2014a database design methodology","author":"Eick","year":"1984"},{"key":"10.1016\/0169-023X(91)90036-W_BIB14","series-title":"Proc. First Internat. Conf. on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems","first-page":"837","article-title":"DALI\u2014a knowledge base management system","author":"Eick","year":"1988"},{"key":"10.1016\/0169-023X(91)90036-W_BIB15","series-title":"Proc. ACM-SIGMOD Conf. on Management of Data","first-page":"84","article-title":"Acquisition of terminological knowledge using database design techniques","author":"Eick","year":"1985"},{"key":"10.1016\/0169-023X(91)90036-W_BIB16","series-title":"Fundamentals of Database Systems","author":"Elmasri","year":"1989"},{"issue":"3","key":"10.1016\/0169-023X(91)90036-W_BIB17","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1145\/319732.319735","article-title":"A simplified universal relation assumption and its properties","volume":"7","author":"Fagin","year":"1982","journal-title":"ACM TODS"},{"issue":"2","key":"10.1016\/0169-023X(91)90036-W_BIB18","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1016\/0306-4379(84)90022-X","article-title":"Constraint preserving and lossless database transformations","volume":"9","author":"Grant","year":"1984","journal-title":"Inform. Syst."},{"issue":"3","key":"10.1016\/0169-023X(91)90036-W_BIB19","doi-asserted-by":"crossref","first-page":"351","DOI":"10.1145\/319587.319588","article-title":"Data base description with SDM: A semantic data model","volume":"6","author":"Hammer","year":"1981","journal-title":"ACM TODS"},{"key":"10.1016\/0169-023X(91)90036-W_BIB20","year":"1982","journal-title":"Concepts and Terminology for the Conceptual Schema and the Information Base"},{"key":"10.1016\/0169-023X(91)90036-W_BIB21","series-title":"Publication No. K3.1-P-1","year":"1986"},{"key":"10.1016\/0169-023X(91)90036-W_BIB22","series-title":"Proc. Internat. Conf. on VLDB","article-title":"Multivalued dependencies with null values in relational databases","author":"Lien","year":"1979"},{"key":"10.1016\/0169-023X(91)90036-W_BIB23","series-title":"Ph.D. Thesis","article-title":"Existential dependencies in relational databases","author":"Lin","year":"1981"},{"key":"10.1016\/0169-023X(91)90036-W_BIB24","series-title":"The Theory of Relational Databases","author":"Maier","year":"1983"},{"issue":"2","key":"10.1016\/0169-023X(91)90036-W_BIB25","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1145\/320141.320150","article-title":"A language facility for designing interactive database intensive systems","volume":"5","author":"Mylopoulos","year":"1980","journal-title":"ACM TODS"},{"issue":"2","key":"10.1016\/0169-023X(91)90036-W_BIB26","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1145\/329.318580","article-title":"On the foundation of the universal relation data model","volume":"9","author":"Maier","year":"1984","journal-title":"ACMS TODS"},{"key":"10.1016\/0169-023X(91)90036-W_BIB27","series-title":"Diplomarbeit (Master's Thesis)","article-title":"Qualit\u00e4tsverbessernde Transformationen Konzeptueller Schemata-Grundlagen, Verfahren und Werkzeuge","author":"Raupp","year":"1985"},{"key":"10.1016\/0169-023X(91)90036-W_BIB28","series-title":"Proc. ACM-SIGMOD Conf. on Management of Data","first-page":"108","article-title":"Can we assume the universal relation assumption without nulls","author":"Sagiv","year":"1981"},{"key":"10.1016\/0169-023X(91)90036-W_BIB29","series-title":"Proc. ACM-SIGMOD Conf. on Management of Data","first-page":"211","article-title":"On the semantics of the relational data model","author":"Schmid","year":"1975"},{"issue":"3","key":"10.1016\/0169-023X(91)90036-W_BIB30","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/0004-3702(89)90016-7","article-title":"Default reasoning in semantic networks: A formalization of recognition and inheritance","volume":"39","author":"Shastri","year":"1989","journal-title":"Artificial Intelligence"},{"issue":"1","key":"10.1016\/0169-023X(91)90036-W_BIB31","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1016\/0306-4379(89)90025-2","article-title":"Formal semantics for database schemas","volume":"14","author":"Simovicy","year":"1989","journal-title":"Inform. Syst."},{"issue":"2","key":"10.1016\/0169-023X(91)90036-W_BIB32","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1145\/320544.320546","article-title":"Data Abstraction\u2014Aggregation and generalization","volume":"2","author":"Smith","year":"1977","journal-title":"ACM TODS"},{"key":"10.1016\/0169-023X(91)90036-W_BIB33","series-title":"Principles of Data Base Systems","author":"Ullman","year":"1980"}],"container-title":["Data & Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0169023X9190036W?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0169023X9190036W?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:28:03Z","timestamp":1553614083000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0169023X9190036W"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,7]]},"references-count":33,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1991,7]]}},"alternative-id":["0169023X9190036W"],"URL":"https:\/\/doi.org\/10.1016\/0169-023x(91)90036-w","relation":{},"ISSN":["0169-023X"],"issn-type":[{"value":"0169-023X","type":"print"}],"subject":[],"published":{"date-parts":[[1991,7]]}}}