{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T15:51:08Z","timestamp":1693842668399},"reference-count":47,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1984,1,1]],"date-time":"1984-01-01T00:00:00Z","timestamp":441763200000},"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":["Information Systems"],"published-print":{"date-parts":[[1984,1]]},"DOI":"10.1016\/0306-4379(84)90015-2","type":"journal-article","created":{"date-parts":[[2003,8,8]],"date-time":"2003-08-08T01:31:39Z","timestamp":1060306299000},"page":"43-57","source":"Crossref","is-referenced-by-count":24,"title":["Towards multi-level and modular conceptual schema specifications"],"prefix":"10.1016","volume":"9","author":[{"given":"Ulrich","family":"Schiel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonio L.","family":"Furtado","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Erich J.","family":"Neuhold","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco A.","family":"Casanova","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0306-4379(84)90015-2_BIB1","series-title":"Data Base Management","article-title":"Data semantics","author":"Abrial","year":"1974"},{"key":"10.1016\/0306-4379(84)90015-2_BIB2","series-title":"Proc. Int. Conf. on Data Bases","article-title":"The role data model approach to data structures","author":"Bachmann","year":"1980"},{"key":"10.1016\/0306-4379(84)90015-2_BIB3","doi-asserted-by":"crossref","DOI":"10.1016\/0306-4379(78)90012-1","article-title":"Semantics of data bases: the semantics of data models","volume":"3","author":"Biller","year":"1978","journal-title":"Inform. Systems"},{"key":"10.1016\/0306-4379(84)90015-2_BIB4","series-title":"Proc. Very Large Data Bases","first-page":"260","article-title":"Data models and data manipulation languages: complementary semantics and proof theory","author":"Borgida","year":"1981"},{"key":"10.1016\/0306-4379(84)90015-2_BIB5","series-title":"Proc. Very Large Data Bases","first-page":"32","article-title":"On modelling behavioural semantics of databases","author":"Brodie","year":"1981"},{"key":"10.1016\/0306-4379(84)90015-2_BIB6","series-title":"Proc. 2nd Int. Conf. on Entity-Relationship Approach","first-page":"583","article-title":"Association: a database abstraction for semantic modeling","author":"Brodie","year":"1981"},{"key":"10.1016\/0306-4379(84)90015-2_BIB7","series-title":"Proc. Workshop on Data Abstraction, Database and Conceptual Modelling","year":"1980"},{"key":"10.1016\/0306-4379(84)90015-2_BIB8","series-title":"The Correctness Problem in Computer Science","article-title":"An informal introduction to specification using CLEAR","author":"Bustall","year":"1981"},{"issue":"3","key":"10.1016\/0306-4379(84)90015-2_BIB9","doi-asserted-by":"crossref","first-page":"386","DOI":"10.1145\/357103.357111","article-title":"A formal system for reasoning about programs acessing a relational database","volume":"2","author":"Casanova","year":"1980","journal-title":"ACM TOPLAS"},{"key":"10.1016\/0306-4379(84)90015-2_BIB10","series-title":"Proc. Formalization of Programming Concepts","article-title":"Properties of conceptual and external database schemas","author":"Casanova","year":"1981"},{"key":"10.1016\/0306-4379(84)90015-2_BIB11","series-title":"Proc. Workshop on Logical Bases for Databases","article-title":"A family of temporal languages for the description of transition constraints","author":"Casanova","year":"1982"},{"key":"10.1016\/0306-4379(84)90015-2_BIB12","series-title":"Proc. Very Large Data Bases","first-page":"280","article-title":"A temporal framework for database specifications","author":"de Castilho","year":"1982"},{"key":"10.1016\/0306-4379(84)90015-2_BIB13","series-title":"Modal Logic: An Introduction","author":"Chellas","year":"1980"},{"key":"10.1016\/0306-4379(84)90015-2_BIB14","series-title":"Logic and Data Bases","first-page":"293","article-title":"Negation as failure","author":"Clark","year":"1978"},{"key":"10.1016\/0306-4379(84)90015-2_BIB15","series-title":"A Discipline of Programming","author":"Dijkstra","year":"1976"},{"key":"10.1016\/0306-4379(84)90015-2_BIB16","series-title":"Proc. GI-11. Jahrestagung","first-page":"255","article-title":"Methodology for the specification of software systems: from formal requirements to algebraic design specifications","author":"Ehrig","year":"1981"},{"key":"10.1016\/0306-4379(84)90015-2_BIB17","series-title":"Proc. Very Large Data Bases","first-page":"427","article-title":"Algebraic specification schemes for data base systems","author":"Ehrig","year":"1978"},{"key":"10.1016\/0306-4379(84)90015-2_BIB18","series-title":"Modelling in Data Base Management Systems","article-title":"Concepts for modelling information","author":"Falkenberg","year":"1976"},{"key":"10.1016\/0306-4379(84)90015-2_BIB19","series-title":"Entity-Relationship Approach to Information Modelling and Analysis","article-title":"Verification and testing of S-ER representations","author":"Furtado","year":"1981"},{"key":"10.1016\/0306-4379(84)90015-2_BIB20","series-title":"Proc. Very Large Data Bases","first-page":"248","article-title":"Impacts of logic on data bases","author":"Gallaire","year":"1981"},{"key":"10.1016\/0306-4379(84)90015-2_BIB21","series-title":"Proc. IFIP","first-page":"343","article-title":"An overview of Affirm: a specification and verification system","author":"Gerhart","year":"1980"},{"key":"10.1016\/0306-4379(84)90015-2_BIB22","first-page":"80","article-title":"An initial algebra approach to the specification, correctness and implementation of abstract data types","volume":"Vol. IV","author":"Goguen","year":"1978"},{"key":"10.1016\/0306-4379(84)90015-2_BIB23","article-title":"A declarative approach to conceptual information modeling","author":"Gustafsson","year":"1981"},{"key":"10.1016\/0306-4379(84)90015-2_BIB24","first-page":"60","article-title":"The design of data type specifications","volume":"Vol. IV","author":"Guttag","year":"1978"},{"key":"10.1016\/0306-4379(84)90015-2_BIB25","series-title":"Proc. ACM\/SIGMOD Int. Conf. on Management on Data","article-title":"The semantic data model: a modelling mechanism for data base applications","author":"Hammer","year":"1979"},{"key":"10.1016\/0306-4379(84)90015-2_BIB26","article-title":"First-order dynamic logic","volume":"Vol. 68","author":"Harel","year":"1979"},{"key":"10.1016\/0306-4379(84)90015-2_BIB27","article-title":"PLANNER: a language for providing theorems in robots","author":"Hewitt","year":"1971"},{"key":"10.1016\/0306-4379(84)90015-2_BIB28","series-title":"Concepts and terminology for the conceptual schema and the information base","year":"1982"},{"key":"10.1016\/0306-4379(84)90015-2_BIB29","series-title":"Logic as a database language","author":"Kowalski","year":"1981"},{"key":"10.1016\/0306-4379(84)90015-2_BIB30","article-title":"Specification techniques for data abstractions","volume":"SE-1","author":"Liskov","year":"1975","journal-title":"IEEE Trans. on Soft. Engng"},{"key":"10.1016\/0306-4379(84)90015-2_BIB31","series-title":"The Correctness Problem in Computer Science","article-title":"Verification of concurrent programs: the temporal framework","author":"Manna","year":"1981"},{"key":"10.1016\/0306-4379(84)90015-2_BIB32","series-title":"Entity-Relationship Approach to Systems Analysis and Design","first-page":"193","article-title":"Applying a semantic database model","author":"McLeod","year":"1979"},{"key":"10.1016\/0306-4379(84)90015-2_BIB33","series-title":"Proc. Theoretical Issues in Natural Language Workshop","article-title":"Minsky's frame theory","author":"Minsky","year":"1975"},{"key":"10.1016\/0306-4379(84)90015-2_BIB34","series-title":"Proc. Nat. Comput. Conf.","article-title":"On the implementation of a conceptual schema model with a three-level DBMS architecture","author":"Navathe","year":"1979"},{"key":"10.1016\/0306-4379(84)90015-2_BIB35","series-title":"Proc. Workshop on Formal Bases for Databases","article-title":"Verification of views and application programs","author":"Paolini","year":"1979"},{"issue":"12","key":"10.1016\/0306-4379(84)90015-2_BIB36","doi-asserted-by":"crossref","DOI":"10.1145\/361598.361623","article-title":"On the criteria to be used in decomposing systems into modules","volume":"15","author":"Parnas","year":"1972","journal-title":"Comm. ACM"},{"key":"10.1016\/0306-4379(84)90015-2_BIB37","series-title":"Temporal logic","author":"Rescher","year":"1971"},{"issue":"5","key":"10.1016\/0306-4379(84)90015-2_BIB38","doi-asserted-by":"crossref","first-page":"481","DOI":"10.1109\/TSE.1979.234209","article-title":"CSDL: a conceptual schema definition language for the design of data base applications","volume":"SE-5","author":"Roussopoulos","year":"1979","journal-title":"IEEE Trans. on Soft. Engng"},{"key":"10.1016\/0306-4379(84)90015-2_BIB39","series-title":"Entity-Relationship Approach to Systems Analysis and Design","first-page":"103","article-title":"A data type approach to the entity-relationship model","author":"dos Santos","year":"1980"},{"key":"10.1016\/0306-4379(84)90015-2_BIB40","article-title":"The temporal-hierarchic data model (THM)","author":"Schiel","year":"1982"},{"key":"10.1016\/0306-4379(84)90015-2_BIB41","series-title":"Databases: Role and Structure","article-title":"A semantic data model and its mapping to an internal relational model","author":"Schiel","year":"1983"},{"key":"10.1016\/0306-4379(84)90015-2_BIB42","series-title":"Proc. Very Large Data Bases","article-title":"An abstract introduction to the temporal-hierarchic data model (THM)","author":"Schiel","year":"1983"},{"key":"10.1016\/0306-4379(84)90015-2_BIB43","series-title":"Mathematical Logic","author":"Shonfield","year":"1967"},{"key":"10.1016\/0306-4379(84)90015-2_BIB44","doi-asserted-by":"crossref","DOI":"10.1145\/320544.320546","article-title":"Database abstractions: aggregation and generalization","volume":"2","author":"Smith","year":"1977","journal-title":"ACM TODS"},{"key":"10.1016\/0306-4379(84)90015-2_BIB45","series-title":"Proc. Very Large Data Bases","first-page":"409","article-title":"Systematic derivation of complementary specifications","author":"Veloso","year":"1981"},{"key":"10.1016\/0306-4379(84)90015-2_BIB46","series-title":"Proc. Joint IBM\/Univ. Newcastle upon Tyne Seminar","first-page":"15","article-title":"Modularity in data base system design","author":"Weber","year":"1979"},{"key":"10.1016\/0306-4379(84)90015-2_BIB47","series-title":"Structured Design","author":"Yourdon","year":"1975"}],"container-title":["Information Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0306437984900152?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0306437984900152?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T04:52:34Z","timestamp":1552625554000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0306437984900152"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984,1]]},"references-count":47,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1984,1]]}},"alternative-id":["0306437984900152"],"URL":"https:\/\/doi.org\/10.1016\/0306-4379(84)90015-2","relation":{},"ISSN":["0306-4379"],"issn-type":[{"value":"0306-4379","type":"print"}],"subject":[],"published":{"date-parts":[[1984,1]]}}}