{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,7]],"date-time":"2024-03-07T15:44:39Z","timestamp":1709826279629},"reference-count":122,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[1992,12,1]],"date-time":"1992-12-01T00:00:00Z","timestamp":723168000000},"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":[[1992,12]]},"DOI":"10.1016\/0169-023x(92)90008-y","type":"journal-article","created":{"date-parts":[[2003,3,14]],"date-time":"2003-03-14T17:15:20Z","timestamp":1047662120000},"page":"157-204","source":"Crossref","is-referenced-by-count":69,"title":["Conceptual modelling of database applications using an extended ER model"],"prefix":"10.1016","volume":"9","author":[{"given":"Gregor","family":"Engels","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Gogolla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Uwe","family":"Hohenstein","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Klaus","family":"H\u00fclsmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Perdita","family":"L\u00f6hr-Richter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gunter","family":"Saake","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hans-Dieter","family":"Ehrich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0169-023X(92)90008-Y_BIB1","series-title":"Proc. 5th ACM PODS","first-page":"53","article-title":"A calculus for complex objects","author":"Bancilhon","year":"1986"},{"issue":"4","key":"10.1016\/0169-023X(92)90008-Y_BIB2","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1016\/0306-4379(88)90002-6","article-title":"Design of engineering databases: A case for more varied semantic modelling concepts","volume":"13","author":"Karl","year":"1988","journal-title":"Inform. Syst."},{"key":"10.1016\/0169-023X(92)90008-Y_BIB3","series-title":"Engineering Databases: Connecting Islands of Automation through Databases","year":"1990"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB4","first-page":"353","article-title":"DAMOKLES\u2014A database system for software engineering environments","author":"Dittrich","year":"1987"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB5","first-page":"131","article-title":"On the representation of temporal knowledge in office systems","author":"Oberweis","year":"1988"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB6","series-title":"Proc. 5th ERA Conf.","first-page":"67","article-title":"Modelling and manipulating objects in geoscientific databases","author":"Lipeck","year":"1986"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB7","series-title":"Proc. 8th British Nat. Conf. on Databases","first-page":"179","article-title":"A geoscientific database system supporting cartography and application programming","author":"Lohmann","year":"1990"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB8","first-page":"481","article-title":"Datenbankentwurf","author":"Mayr","year":"1987"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB9","author":"Elmasari","year":"1989"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB10","first-page":"19","article-title":"On the development of data models","author":"Brodie","year":"1984"},{"issue":"3","key":"10.1016\/0169-023X(92)90008-Y_BIB11","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1145\/45072.45073","article-title":"Semantic database modelling: Survey, applications, and research issues","volume":"19","author":"Hull","year":"1987","journal-title":"ACM Comput. Surveys"},{"issue":"3","key":"10.1016\/0169-023X(92)90008-Y_BIB12","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1145\/62061.62062","volume":"20","author":"Peckham","year":"1988","journal-title":"Semantic data models, ACM Comput. Surveys"},{"issue":"1","key":"10.1016\/0169-023X(92)90008-Y_BIB13","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1145\/320434.320440","article-title":"The Entity-Relationship model \u2014 Towards a unified view of data","volume":"1","author":"Chen","year":"1976","journal-title":"ACM Trans. Database Syst."},{"issue":"3","key":"10.1016\/0169-023X(92)90008-Y_BIB14","doi-asserted-by":"crossref","first-page":"351","DOI":"10.1145\/319587.319588","article-title":"Database description with SDM: A semantic database model","volume":"6","author":"Hammer","year":"1981","journal-title":"ACM Trans. Database Syst."},{"issue":"4","key":"10.1016\/0169-023X(92)90008-Y_BIB15","doi-asserted-by":"crossref","first-page":"525","DOI":"10.1145\/32204.32205","article-title":"IFO \u2014 A formal semantic database model","volume":"12","author":"Abiteboul","year":"1987","journal-title":"ACM Trans. Database Syst."},{"key":"10.1016\/0169-023X(92)90008-Y_BIB16","series-title":"Proc. Internat. Workshop on Object-Oriented Database Systems","first-page":"6","article-title":"A data modeling methodology for the design and implementation of information systems","author":"Lyngbaek","year":"1986"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB17","series-title":"Proc. 6th VLDB","first-page":"399","article-title":"Some features of the TAXIS data model","author":"Mylopoulos","year":"1980"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB18","series-title":"TAXIS'84: Selected papers","year":"1984"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB19","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","author":"Elmasri","year":"1985","journal-title":"Data Knowledge Engrg."},{"key":"10.1016\/0169-023X(92)90008-Y_BIB20","first-page":"306","article-title":"Entity-Relationship consistency for relational schemes","volume":"243","author":"Makowski","year":"1986"},{"issue":"2","key":"10.1016\/0169-023X(92)90008-Y_BIB21","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 Comput. Surveys"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB22","first-page":"58","article-title":"Three-level specification using an Extended Entity-Relationship model","volume":"Band 143","author":"Hohenstein","year":"1987"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB23","article-title":"CABLE: A language based on the Entity-Relationship model","author":"Shoshani","year":"1978"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB24","series-title":"Centralized and Distributed Systems","first-page":"194","article-title":"CLEAR: A conceptual language for entities and relationships","author":"Poonen","year":"1980"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB25","series-title":"Proc. 4th ERA Conf.","first-page":"90","article-title":"A relationally complete query language for an Entity-Relationship model","author":"Campbell","year":"1985"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB26","series-title":"Proc. IFIP Work. Conf. on TFAIS 1985","first-page":"19","article-title":"An Entity-Relationship query language","author":"Demo","year":"1985"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB27","series-title":"Proc. 2nd ERA Conf.","first-page":"49","article-title":"Gordas: A formal high-level query language for the Entity-Relationship model","author":"Elmasri","year":"1981"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB28","series-title":"Proc. 3rd ERA Conf.","first-page":"299","article-title":"HIQUEL: An interactive query language to define and use hierarchies","author":"Ursprung","year":"1983"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB29","series-title":"Proc. 3rd ERA Conf.","first-page":"441","article-title":"A graphical query language for Entity-Relationship databases","author":"Zhang","year":"1983"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB30","first-page":"175","article-title":"Towards simpler and yet complete formal specifications","author":"Veloso","year":"1985"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB31","first-page":"387","article-title":"Stepwise specification of dynamic database behaviour","author":"Lipeck","year":"1986"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB32_1","article-title":"Zur dynamischen Integrit\u00e4t von Datenbanken; Grundlagen der Spezifikation und \u00dcberwachung","author":"Lipeck","year":"1988"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB32_2","volume":"209","author":"Lipeck","year":"1989"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB33","first-page":"91","article-title":"A temporal framework for database specification and verification","author":"Kung","year":"1984","journal-title":"VLDB 1984"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB34","first-page":"107","article-title":"Object-oriented specification of databases: An algebraic approach","author":"Sernadas","year":"1987"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB35","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/0306-4379(80)90009-5","article-title":"Temporal aspects of logical procedure definition","volume":"5","author":"Sernadas","year":"1980","journal-title":"Inform. Systems"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB36","first-page":"331","article-title":"A modal system for database specification and query language support","author":"Golshani","year":"1983"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB37","series-title":"Proc. IFIP Conf. on Data Semantics DS-1","first-page":"141","article-title":"Database specification","author":"Khoshla","year":"1985"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB38","doi-asserted-by":"crossref","first-page":"625","DOI":"10.1007\/BF00291052","article-title":"Specification and verification of database dynamics","volume":"25","author":"Fiadeiro","year":"1988","journal-title":"Acta Inform."},{"key":"10.1016\/0169-023X(92)90008-Y_BIB39","doi-asserted-by":"crossref","DOI":"10.1145\/63320","article-title":"Object-Oriented Concepts, Databases, and Applications","author":"Kim","year":"1989"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB40","series-title":"Pascal\/R Report, Berich Nr. 667","author":"Schmidt","year":"1980"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB41","series-title":"DBPL-Report, DBPL-Memo 111-88","author":"Schmidt","year":"1988"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB42","author":"Hull","year":"1989"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB43","first-page":"335","article-title":"IML-inscribed Petri-Nets","author":"Richter","year":"1982"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB44","series-title":"7th Internat. Conf. on Data Engineering","article-title":"Object\/Behaviour Diagrams","author":"Kappel","year":"1991"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB45","volume":"Vol. I","author":"Martin","year":"1985"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB46","series-title":"Proc. Workshop on Graph Grammars and their Application to Computer Science","first-page":"344","article-title":"Elementary actions on an extended Entity-Relationship database","author":"Engels","year":"1991"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB47","first-page":"48","article-title":"Functional specification of a subsystem for data base integrity","author":"Eswaran","year":"1975","journal-title":"VLDB 1975"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB48","series-title":"Proc. 2nd ACM SIGACT-SIGMOD Symp. on Principles of Database Systems","first-page":"389","article-title":"Dynamic constraints and database evolution","author":"Vianu","year":"1983"},{"issue":"1","key":"10.1016\/0169-023X(92)90008-Y_BIB49","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1145\/7531.7918","article-title":"Dynamic functional dependencies and database aging","volume":"34","author":"Vianu","year":"1987","journal-title":"J. ACM"},{"issue":"2","key":"10.1016\/0169-023X(92)90008-Y_BIB50","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1016\/0169-023X(89)90038-4","article-title":"Specifying dynamic and deontic integrity constraints","volume":"4","author":"Wieringa","year":"1989","journal-title":"Data Knowledge Engrg."},{"key":"10.1016\/0169-023X(92)90008-Y_BIB51","series-title":"Proc. Internat. Conf. on Very Large Databases","first-page":"280","article-title":"A temporal framework for database specification","author":"de Castilho","year":"1982"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB52","series-title":"Proc. 10th Internat. Conf. on Very Large Data Bases","first-page":"301","article-title":"Specification, semantics and enforcement of dynamic integrity constraints","author":"Ehrich","year":"1984"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB53","series-title":"Proc. IFIP WG 8.1 Conf. Theoretical and Formal Aspects of Information Systems","first-page":"145","article-title":"Specifying admissibility of dynamic database behaviour using temporal logic","author":"Lipeck","year":"1985"},{"issue":"3","key":"10.1016\/0169-023X(92)90008-Y_BIB54","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1016\/0306-4379(87)90004-4","article-title":"Monitoring dynamic integrity constraints based on temporal logic","volume":"12","author":"Lipeck","year":"1987","journal-title":"Inform. Systems"},{"issue":"1","key":"10.1016\/0169-023X(92)90008-Y_BIB55","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/0306-4379(84)90015-2","article-title":"Towards multi-level and modular conceptual schema specifications","volume":"9","author":"Schiel","year":"1984","journal-title":"Inform. Systems"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB56","series-title":"Proc. IFIP TC8 WG 8.1 Working Conf. on Temporal Aspects of Information Systems","first-page":"31","article-title":"A temporal logic framework for a layered approach to systems specification and verification","author":"Carmo","year":"1987"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB57","series-title":"Proc. 1st Workshop, Information Systems and Artificial Intelligence: Integration Aspects","first-page":"213","article-title":"Conceptual modeling of database applications","volume":"474","author":"Saake","year":"1990-1991"},{"issue":"1","key":"10.1016\/0169-023X(92)90008-Y_BIB58","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1016\/0169-023X(91)90015-P","article-title":"Descriptive specification of database object behaviour","volume":"6","author":"Saake","year":"1991","journal-title":"Data Knowledge Engrg."},{"issue":"2","key":"10.1016\/0169-023X(92)90008-Y_BIB59","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 Syst."},{"key":"10.1016\/0169-023X(92)90008-Y_BIB60","series-title":"On conceptual Modelling \u2014 Perspectives from Artificial Intelligence, Databases, and Programming Languages","first-page":"277","article-title":"On the design and specification of database transactions","author":"Brodie","year":"1984"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB61","series-title":"Proc. Internat. Conf. on Data Engineering","first-page":"120","article-title":"Comparison criteria for semantic data models","author":"Schrefl","year":"1984"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB62","series-title":"Proc. \u2018Workshop \u00fcber Relationale Datenbanken\u2019","first-page":"185","article-title":"An extended Entity-Relationship model for non-standard databases","author":"Hohenstein","year":"1986"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB63","series-title":"Proc. 7th ERA Conf.","first-page":"129","article-title":"A calculus for an extended Entity-Relationship model incorporating arbitrary data operations and aggregate functions","author":"Hohenstein","year":"1988"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB64","article-title":"Ein Kalk\u00fcl f\u00fcr ein erweitertes Entity-Relationship-Modell und seine \u00dcbersetzung in einen relationalen Kalk\u00fcl","author":"Hohenstein","year":"1990"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB65","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1145\/111197.111200","article-title":"Towards a semantic view of an extended Entity-Relationship model","author":"Gogolla","year":"1991","journal-title":"ACM Trans. Database Syst."},{"key":"10.1016\/0169-023X(92)90008-Y_BIB66","article-title":"Eine Benutzerschnittstelle f\u00fcr geowissenschaftliche Anwendungen","author":"Ramm","year":"1985","journal-title":"Technische Universit\u00e4t Braunschweig, Informatik-Berichte Nr. 85-08"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB67","series-title":"Proc. Internat. Coll. on Digital Maps in Geosciences","article-title":"An experimental geoscientific database system","author":"Neumann","year":"1991"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB68","series-title":"Fundamentals of Algebraic Specification I \u2014 Equations and Initial Semantics","author":"Ehrig","year":"1985"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB69","series-title":"Algebraische Spezifikation Abstrakter Datentypen \u2014 Eine Einf\u00fchrung in die Theorie","author":"Ehrich","year":"1989"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB70","series-title":"The Specification of Complex Systems","author":"Cohen","year":"1986"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB71","doi-asserted-by":"crossref","first-page":"664","DOI":"10.1145\/29873.30399","article-title":"Algorithmic specifications: A constructive method for specification of abstract data types","volume":"9","author":"Loeckx","year":"1987","journal-title":"ACM TOPLAS"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB72","series-title":"Proc. 3rd ERA Conf.","first-page":"329","article-title":"ERROL: An Entity-Relationship, role oriented query language","author":"Markowitz","year":"1983"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB73","series-title":"Proc. 4th ERA Conf.","first-page":"236","article-title":"A Graphical query facility for ER databases","author":"Elmasri","year":"1985"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB74","first-page":"263","article-title":"Ergonomic schema design and browsing with more semantics in the Pasta-3 interface for E-R DBMS","volume":"89","author":"Kuntz","year":"1989"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB75","series-title":"Proc. 4th ERA Conf.","first-page":"72","article-title":"LAMBDA: An Entity-Relationship based query language for the retrieval of structured documents","author":"Velez","year":"1985"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB76","series-title":"Proc. 4th ERA Conf.","article-title":"DESPATH: An ER manipulation language","author":"Roesner","year":"1985"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB77","series-title":"Proc. GI\/SI-Fachtagung \u2018Datenbanksysteme in B\u00fcro, Technik und Wissenschaft\u2019","first-page":"373","article-title":"Eine Anfragesprache f\u00fcr ein strukturell-objektorientiertes Datenmodell","volume":"204","author":"Schiefer","year":"1989"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB78","article-title":"Eine geowissenschaftliche Datenbanksprache mit benutzerdefinierten geometrischen Datentypen","author":"Neumann","year":"1988"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB79","series-title":"Proc. 12th Internat. Conf. on Very Large Data Bases","first-page":"278","article-title":"Designing a generalized NF model with an SQL-type language interface","author":"Pistor","year":"1986"},{"issue":"4","key":"10.1016\/0169-023X(92)90008-Y_BIB80","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1016\/0306-4379(86)90012-8","article-title":"A database language for sets, lists and tables","volume":"11","author":"Pistor","year":"1986","journal-title":"Inform. Systems"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB81","series-title":"Proc. 15th Internat. Conf. on Very Large Databases VLDB'89","first-page":"307","article-title":"Sorting, grouping, and duplicate elimination in the advanced information management prototype","author":"Saake","year":"1989"},{"issue":"1","key":"10.1016\/0169-023X(92)90008-Y_BIB82","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1016\/0306-4379(87)90021-4","article-title":"SQL\/NF: A query language for non-1NF relational databases","volume":"12","author":"Roth","year":"1987","journal-title":"Inform. Systems"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB83","first-page":"8","article-title":"A critique of the SQL database language","volume":"14","author":"Date","year":"1984"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB84","series-title":"Proc. 9th Internat. Conf. on the Entity-Relationship Approach","first-page":"177","article-title":"Formal semantics of Entity-Relationship-based query language","author":"Hohenstein","year":"1990"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB85","series-title":"Proc. 1st ACM Symp. Principles of Database Systems","first-page":"124","article-title":"Remarks on the algebra of non first normal form relations","author":"Jaeschke","year":"1982"},{"issue":"2","key":"10.1016\/0169-023X(92)90008-Y_BIB86","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1016\/0306-4379(86)90003-7","article-title":"The relational model with relation-valued attributes","volume":"11","author":"Schek","year":"1986","journal-title":"Inform. Systems"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB87","series-title":"The SQL Standard","author":"Date","year":"1987"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB88","first-page":"65","article-title":"Implementation of integrity constraints and views by query modification","author":"Stonebraker","year":"1975","journal-title":"SIGMOD"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB89","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1145\/320455.320457","article-title":"System R: A relational approach to database management","volume":"1","author":"Astrahan","year":"1976","journal-title":"ACM TODS"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB90","first-page":"126","article-title":"Fast maintenance of semantic integrity assertions using redundant aggregate data","author":"Bernstein","year":"1980","journal-title":"VLDB"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB91","first-page":"167","article-title":"AIM: An integrity monitor for the datbase system INGRES","author":"Cremers","year":"1983","journal-title":"VLDB"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB92","series-title":"Proc. IEEE Trends and Applications Conf. Making Database Work","first-page":"43","article-title":"Integrity aspects in data base management systems","author":"Bertino","year":"1984"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB93","series-title":"Proc. ACM Principles of Database Systems","first-page":"193","article-title":"Transactions and integrity constraints","author":"Abiteboul","year":"1985"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB94","first-page":"417","article-title":"Knowledge-based integrity constraint validation","author":"Qian","year":"1986","journal-title":"VLDB"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB95","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1145\/1282480.1282483","article-title":"Semantic integrity in a relational database system","author":"Hammer","year":"1975","journal-title":"VLDB"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB96","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1007\/BF00263192","article-title":"Logic for improving integrity checking in relational data bases","volume":"18","author":"Nicolas","year":"1982","journal-title":"Acta Inform."},{"key":"10.1016\/0169-023X(92)90008-Y_BIB97","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/0306-4379(83)90037-6","article-title":"Integrity checking in deductive database systems","volume":"8","author":"Weber","year":"1983","journal-title":"Inform. Systems"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB98","series-title":"Logic and Databases","first-page":"325","article-title":"Improving integrity checking in deductive databases","author":"Nicolas","year":"1978"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB99","first-page":"13","article-title":"Checking consistency of database constraints: A logical basis","author":"Bry","year":"1986","journal-title":"VLDB"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB100","series-title":"Proc. 1st Internat. Conf. on Expert Systems","first-page":"271","article-title":"Integrity enforcement on deductive databases","author":"Decker","year":"1986"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB101","series-title":"Proc. 19th Internat. Conf. VLDB","first-page":"61","article-title":"Integrity checking in deductive databases","author":"Kowalski","year":"1987"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB102","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1016\/0743-1066(87)90009-4","article-title":"Integrity constraint checking in stratified databases","volume":"4","author":"Lloyd","year":"1987","journal-title":"J. Logic Programming"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB103","series-title":"Proc. 1st Internat. Conf. on the Entity-Relationship Approach","first-page":"121","article-title":"Abstraction capabilities and invariant properties modelling in the Entity-Relationship approach","author":"Scheuermann","year":"1979"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB104","series-title":"Proc. First Nordic Conf. on Advanced Systems Engineering (CASE 89)","article-title":"The INCOME approach for conceptual modelling and prototyping of information systems","author":"Lausen","year":"1989"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB105","series-title":"Proc. 5th Internat. Conf. on the Entity-Relationship Approach","first-page":"147","article-title":"BIER: The Behaviour Integrated Entity Relationship approach","author":"Eder","year":"1986"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB106","series-title":"6th Coll. on Automata, Languages and Programming, LNCS 71","first-page":"385","article-title":"The modal logics of programs","author":"Manna","year":"1979"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB107","series-title":"The Correctness Problem in Computer Science","first-page":"215","article-title":"Verification of concurrent programs: The temporal framework","author":"Manna","year":"1981"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB108","first-page":"68","article-title":"Synthesis of communicating processes from temporal logic specifications","volume":"6","author":"Manna","year":"1984","journal-title":"ACM"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB109","series-title":"Object-Oriented Databases: Analysis, Design and Construction (DS-4), Proc. IFIP TC2\/WG2.6 Working Conf.","article-title":"Proof-theoretic semantics of object-oriented specification constructs","author":"Fiadeiro","year":"1991"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB110","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/BF01893887","article-title":"Theoretical foundations of handling large substitution sets in temporal integrity monitoring","volume":"28","author":"H\u00fclsmann","year":"1991","journal-title":"Acta Inform."},{"key":"10.1016\/0169-023X(92)90008-Y_BIB111","series-title":"Proc. 2nd Internat. Conf. Extending Database Technology","article-title":"Representation of the historical information necessary for temporal integrity monitoring","author":"H\u00fclsmann","year":"1990"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB112","series-title":"Proc. 4th VLDB","first-page":"427","article-title":"Algebraic specification schemes for database systems","author":"Ehrig","year":"1978"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB113","first-page":"110","article-title":"Formal database specification \u2014 An eclectic perspective","author":"Casanova","year":"1984","journal-title":"PODS"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB114","series-title":"Proc. 8th Internat. Conf. on Software Engineering","first-page":"43","article-title":"Database theory for supporting specification-based database system development","author":"Stemple","year":"1986"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB115","series-title":"Formal Techniques for Data Base Design","author":"Furtado","year":"1986"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB116","series-title":"Proc. SIGMOD","first-page":"243","article-title":"A transaction logic for database specifications","author":"Qian","year":"1988"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB117","series-title":"The frame problem in artificial intellifence","year":"1987"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB118","series-title":"Proc. 2nd Conf. on Database Theory LNCS 326","first-page":"322","article-title":"Transformation of dynamic integrity constraints into transaction specifications","author":"Lipeck","year":"1988"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB119","series-title":"Proc. IFIP 2.6 Work. Conf. on Database Semantics \u2018Knowledge & Data\u2019 (DS-2)","first-page":"119","article-title":"Towards an algebraic semantics for database specification","author":"Ehrich","year":"1986"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB120","series-title":"Internat. Conf. on System Development Environments & Factories","article-title":"CADDY: Computer-aided design of non-standard databases","author":"Engels","year":"1989"},{"key":"10.1016\/0169-023X(92)90008-Y_BIB121","series-title":"Proc. 10th Internat. Conf. on the Entity-Relationship Approach","article-title":"Drafting extended Entity-Relationship schemas with QUEER","author":"Gogolla","year":"1991"}],"container-title":["Data & Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0169023X9290008Y?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0169023X9290008Y?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:35:49Z","timestamp":1584488149000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0169023X9290008Y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,12]]},"references-count":122,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1992,12]]}},"alternative-id":["0169023X9290008Y"],"URL":"https:\/\/doi.org\/10.1016\/0169-023x(92)90008-y","relation":{},"ISSN":["0169-023X"],"issn-type":[{"value":"0169-023X","type":"print"}],"subject":[],"published":{"date-parts":[[1992,12]]}}}