{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:25:09Z","timestamp":1725456309006},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540610571"},{"type":"electronic","value":"9783540499435"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/bfb0014175","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T03:31:44Z","timestamp":1132716704000},"page":"495-513","source":"Crossref","is-referenced-by-count":5,"title":["Accommodating integrity constraints during database design"],"prefix":"10.1007","author":[{"given":"Dimitris","family":"Plexousakis","sequence":"first","affiliation":[]},{"given":"John","family":"Mylopoulos","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,10]]},"reference":[{"key":"36_CR1","doi-asserted-by":"crossref","unstructured":"A. Borgida, J. Mylopoulos, and R. Reiter. And nothing else changes: The Frame Problem in Procedure Specifications. In Proceedings of the 15th Int. Conference on Software Engineering, 1993.","DOI":"10.1109\/ICSE.1993.346034"},{"key":"36_CR2","doi-asserted-by":"crossref","unstructured":"A. Borgida, J. Mylopoulos, and R. Reiter. The Frame Problem in Procedure Specifications. IEEE Transactions on Software Engineering, 1995. To appear.","DOI":"10.1109\/32.469460"},{"key":"36_CR3","doi-asserted-by":"crossref","unstructured":"F. Bry, H. Decker, and R. Manthey. A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases. In Proceedings of the Int. Conference on Extedning Data Base Technology, pages 488\u2013505, 1988.","DOI":"10.1007\/3-540-19074-0_69"},{"key":"36_CR4","unstructured":"S. Ceri and J. Widom. Deriving Production Rules for Constraint Maintenance. In VLDB-90, pages 566\u2013577, 1990."},{"key":"36_CR5","doi-asserted-by":"crossref","unstructured":"J. Chomicki. History-less Checking of Dynamic Integrity Constraints. In 8th Int. Conference on Data Engineering, pages 557\u2013564, Phoenix,AZ, 1992.","DOI":"10.1109\/ICDE.1992.213153"},{"key":"36_CR6","unstructured":"J. Finger. Exploiting Constraints in Design Synthesis. Technical Report STAN-CS-88-1204, Stanford University, 1988."},{"issue":"1","key":"36_CR7","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1093\/comjnl\/17.1.52","volume":"17","author":"J. Florentin","year":"1974","unstructured":"J. Florentin. Consistency Auditing of Databases. Computer Journal, 17(1):52\u201358, 1974.","journal-title":"Computer Journal"},{"key":"36_CR8","doi-asserted-by":"crossref","unstructured":"G. Gardarin and M. Melkanoff. Proving Consistency of Database Transactions. In Proceedings VLDB '79, pages 291\u2013298, 1979.","DOI":"10.1109\/VLDB.1979.718144"},{"key":"36_CR9","doi-asserted-by":"crossref","unstructured":"M. Ginsberg and D. Smith. Reasoning about Action I: A Possible Worlds Approach. In Matthew Ginsberg, editor, Readings in Non-Monotonic Reasoning, pages 433\u2013463. Morgan Kauffmann, 1987.","DOI":"10.1016\/B978-0-934613-32-3.50020-4"},{"key":"36_CR10","doi-asserted-by":"crossref","unstructured":"M. Jeusfeld and M. Jarke. From Relational to Object-Oriented Integrity Simplification. In Proceedings of DOOD-91, pages 460\u2013477, 1991.","DOI":"10.1007\/3-540-55015-1_25"},{"key":"36_CR11","unstructured":"M. Lawley, R. Topor, and M. Wallace. Using Weakest Preconditions to Simplify Integrity Constraint Checking. In Proceedings of the Australian Database Conference, pages 161\u2013170, 1993."},{"key":"36_CR12","unstructured":"V. Lifschitz. Towards a Metatheory of Action. In Proceedings of the 2nd Int. Conference on Knowledge Representation and Reasoning, pages 376\u2013386, 1991."},{"key":"36_CR13","doi-asserted-by":"crossref","unstructured":"F. Lin and R. Reiter. State Constraints Revisited. Journal of Logic and Computation \u2014 Special Issue on Actions and Processes, 1994.","DOI":"10.1093\/logcom\/4.5.655"},{"key":"36_CR14","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/0304-3975(90)90014-9","volume":"76","author":"U. Lipeck","year":"1990","unstructured":"U. Lipeck. Transformation of Dynamic Integrity Constraints into Transaction Specifications. Theoretical Computer Science, 76:115\u2013142, 1990.","journal-title":"Theoretical Computer Science"},{"key":"36_CR15","unstructured":"J. Lloyd, E. Sonenberg, and R. Topor. Integrity Constraint Checking in Stratified Databases. Technical Report 86\/5, Department of Computer Science, University of Melbourne, 1986."},{"key":"36_CR16","doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems. Springer Verlag, 1991. Vol. 1: Specification.","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"36_CR17","unstructured":"J. McCarthy. Some Philosophical Problems from the Standpoint of Artificial Intelligence. In B. Meltzer and D. Mitchie, editors, Machine Intelligence 4, pages 463\u2013502. Edinburgh University Press, 1969."},{"issue":"4","key":"36_CR18","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1145\/102675.102676","volume":"8","author":"J. Mylopoulos","year":"1990","unstructured":"J. Mylopoulos, A. Borgida, M. Jarke, and M. Koubarakis. Telos: Representing Knowledge about Information Systems. ACM TOIS, 8(4):325\u2013362, 1990.","journal-title":"ACM TOIS"},{"key":"36_CR19","doi-asserted-by":"crossref","unstructured":"J. Mylopoulos, V. Chaudhri, D. Plexousakis, A. Shrufi, and T. Topaloglou. Building Knowledge Base Management Systems. The VLDB Journal, 1996. To appear.","DOI":"10.1007\/s007780050027"},{"key":"36_CR20","first-page":"227","volume":"18","author":"J.-M. Nicolas","year":"1982","unstructured":"J.-M. Nicolas. Logic for Improving Integrity Checking in Relational Databases. Acta Informatica, 18:227\u2013253, 1982.","journal-title":"Acta Informatica"},{"key":"36_CR21","unstructured":"J. Pinto. Temporal Reasoning in the Situation Calculus. PhD thesis, Department of Computer Science, University of Toronto, 1994."},{"key":"36_CR22","unstructured":"D. Plexousakis. Integrity Constraint and Rule Maintenance in Temporal Deductive Knowledge Bases. In Proceedings of the International Conference on Very Large Databases, pages 146\u2013157, 1993."},{"issue":"1","key":"36_CR23","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1111\/j.1467-8640.1993.tb00301.x","volume":"9","author":"D. Plexousakis","year":"1993","unstructured":"D. Plexousakis. Semantical and Ontological Considerations in Telos: a Lanugage for Knowledge Representation. Computational Intelligence, 9(1):41\u201372, 1993.","journal-title":"Computational Intelligence"},{"key":"36_CR24","doi-asserted-by":"crossref","unstructured":"D. Plexousakis. Compilation and Simplification of Temporal Integrity Constraints. In Proceedings of the 2nd Int. Workshop on Rules in Database Systems, pages 260\u2013274, Athens, GR, September 1995.","DOI":"10.1007\/3-540-60365-4_132"},{"key":"36_CR25","doi-asserted-by":"crossref","unstructured":"R. Reiter. The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Model for Goal Regression. In V. Lifschitz, editor, Artificial Intelligence and the Mathematical Theory of Computation: Papers in Honor of John McCarthy, pages 359\u2013380. Academic Press, 1991.","DOI":"10.1016\/B978-0-12-450010-5.50026-8"},{"key":"36_CR26","doi-asserted-by":"crossref","unstructured":"L. Schubert. Monotonic Solution to the Frame Problem in the Situation Calculus: An Efficient Method for Worlds with Fully Specified Actions. In H. Kyberg, R. Loui, and G. Carlson, editors, Knowledge Representation and Defeasible Reasoning, pages 23\u201367. Kluwer Academic Publishers, 1990.","DOI":"10.1007\/978-94-009-0553-5_2"},{"key":"36_CR27","unstructured":"S. Schuman and D. Pitt. Object-Oriented Subsystem Specification. In L. Meertens, editor, Program Specification and Transformation, pages 313\u2013341. Elsevier Science, 1987."},{"issue":"3","key":"36_CR28","doi-asserted-by":"crossref","first-page":"322","DOI":"10.1145\/68012.68014","volume":"14","author":"T. Sheard","year":"1989","unstructured":"T. Sheard and D. Stemple. Automatic Verification of Database Transaction Safety. ACM Transactions on Database Systems, 14(3):322\u2013368, 1989.","journal-title":"ACM Transactions on Database Systems"},{"key":"36_CR29","doi-asserted-by":"crossref","unstructured":"D. Stemple, S. Mazumdar, and T. Sheard. On the Modes and Meaning of Feedback to Transaction Designers. In Proceedings of ACM-SIGMOD Int. Conference on the Management of Data, pages 374\u2013386, San Francisco, CA, 1987.","DOI":"10.1145\/38713.38753"},{"key":"36_CR30","doi-asserted-by":"crossref","unstructured":"M. Stonebraker. Implementation of Integrity Constraints and Views by Query Modification. In Proceedings of ACM-SIGMOD Int. Conference on the Management of Data, pages 65\u201378, 1975.","DOI":"10.1145\/500080.500091"},{"issue":"2","key":"36_CR31","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1007\/BF01237920","volume":"4","author":"E. Teniente","year":"1995","unstructured":"Teniente, E. and Oliv\u00e9, A.. Updating Knowledge Bases While Maintaining Their Consistency. The VLDB Journal, 4(2):193\u2013241, 1995.","journal-title":"The VLDB Journal"}],"container-title":["Lecture Notes in Computer Science","Advances in Database Technology \u2014 EDBT '96"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0014175","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T00:42:47Z","timestamp":1586565767000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0014175"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540610571","9783540499435"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/bfb0014175","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}