Abstract
This paper motivates a comprehensive methodological framework for dealing with some aspects of real-world complexity in information system analysis and design. By complex application problem, we mean a problem that cannot be solved by the current technology in the way that it is perceived and analyzed by application domain specialists. The paper focuses on a motivating case study, the analysis of constraint violations in database management at the Belgian agency for social security. We then re-interpret practices and their problems in terms of current information system technology. Recommendations are derived both for suitable developments of the technology, that would allow a better treatment of complex real-world problems, and for methodological improvements in data management practices in the application domain, that would take better advantage of the current technology.
Chapter PDF
Similar content being viewed by others
Keywords
References
Alchurrón, C., Gärdenfors, P. and Makinson, D.: 1984, On the logic of theory change: Partial meet functions for contraction and revision, Journal Symbolic Logic 50, 510–530.
Almukdad, A. and Nelson, D.: 1984, Constructible falsity and inexact predicates, Journal Symbolic Logic 49(1), 231–233.
Baralis, E., Ceri, S. and Paraboschi, S.: 1996, Modularization techniques for active rules design, ACM Trans. on Database Systems 21 (1).
Belnap, N.: 1977, A useful four-valued logic, in G. Epstein and J. Dunn (eds), Modern Uses of Many-valued Logic, Reidel, pp. 8–37.
Benferhat, S., Dubois, D. and Prade, H.: 1995, How to infer from inconsistent beliefs without revising, in C. Mellish (ed.), Proc. of the 14th Int. Joint Conf. on Artificial Intelligence, Morgan Kaufmann, Montreal, Canada, pp. 1449–1455.
Borgida, A.: 1985, Language features for flexible handling of exceptions in information systems, ACM Trans. on Database Systems 10(4), 565-
Boydens, I.: 1992, La banque de données LATG de l’ONSS. Les flux de l’information traitée à partir d’une banque de données: étude critique. Mémoire de Licence Spéciale en Sciences de l’Information et de la Documentation, INFODOC, Université Libre de Bruxelles. Lauréat du Concours des Bourses de Voyage de la Communauté Française de Belgique.
Boydens, I.: 1995, Statistical exploitation method for administrative databases, Proc. of the Int. Conf. on New Techniques and Technologies and Statistics, Bonn, Germany, pp. 63–70.
Boydens, I.: 1996, Meta-information systems, critical interpretation tools for computer sources, History and Computing 8(1), 11–23. In French.
Ceri, S. and Fraternali, P.: 1997, Designing Database Applications with Object and Rules: The IDEA Methodology, Addison Wesley Longman.
del Val, A.: 1997, Nonmonotonic reasoning and belief revision: Syntactic, semantic, foundational, and coherence approaches, Journal of Applied Non-Classical Logics 7(1–2), 213–240. Special issue on Handling Inconsistency in Knowledge Systems.
Demolombe, R. and Jones, A.: 1993, Integrity constraints revisited, in A. Olivé (ed.), Proc. of the 4th Int. Workshop on the Deductive Approach to Information Systems and Databases, Barcelona, Spain, pp. 309–333.
DOS: 1992, Utilization of administrative databanks as a mean to produce statistical information. DOSES-EUROSTAT (action A4), Final report. Torino, Richerche e progretti.
Fraternali, P. and Paraboschi, S.: 1993, A review of repairing techniques for integrity maintenance, in N. Paton and M. Williams (eds), Proc. of 1st Workshop on Rules in Database Systems, WICS, Springer-Verlag, Edinburgh, Scotland, pp. 333–346.
Fraternali, P. and Paraboschi, S.: 1997, Selecting production rules for con
straint maintenance: Complexity and heuristic solution, IEEE Trans. on Knowledge and Data Engineering 9(1).
Huhn, G., Pirotte, A., Roelants, D. and Vauclair, M.: 1989, Logic and databases, in A. Thayse (ed.), From Modal Logic to Deductive Databases, John Wiley and Sons, pp. 279–350. In French: Logique et bases de données, In: Approche logique de l’intelligence artificielle, vol. 2, Dunod, 1989, pp. 311–294.
Karadimce, A. and Urban, S.: 1991, Diagnosing anomalous rule behavior in databases with integrity maintenance production rules, Proc. of the 3rd Int. Workshop on Foundations of Models and Languages for Data and Objects, Aigen, Austria, pp. 77–102.
Katz, R.: 1990, Towards a unified framework for version modeling in engi neering databases, ACM Computing Surveys 22 (4), 375–408.
Lobo, J. and Trajcevski, G.: 1997, Minimal and consistent evolution of knowl
edge bases, Journal of Applied Non-Classical Logics 7(1–2), 117–146. Special issue on Handling Inconsistency in Knowledge Systems.
Pirotte, A., Roelants, D. and Zimânyi, E.: 1991, Controled generation of in tensional answers, IEEE Trans. on Knowledge and Data Engineering 3(2), 221–236. Short version in P-91/02.
Priest, G.: 1979, Logic of paradox, Journal of Philosophical Logic 8, 219–241.
Priest, G.: 1989, Reasoning about truth, Artificial Intelligence 39, 231–244.
Rescher, N. and Brandom, R.: 1989, The Logic of Inconsistency, Blackwell. Ross, R.: 1994, The Business Rule Book: Classifying, Defining and Modeling Rules, Database Research Group, Inc.
Strong, D. and Miller, S.: 1995, Exceptions and exception handling in computerized information processes, ACM Trans. on Office Information Systems 13(2), 206–233.
Tennant, N.: 1997, On having bad contractions, or: No room for recovery, Journal of Applied Non-Classical Logics 7(1–2), 241–266. Special issue on Handling Inconsistency in Knowledge Systems.
Urban, S. and Delcambre, L.: 1990, Constraint analysis: A design process for specifying operations on objects, IEEE Trans. on Knowledge and Data Engineering 2 (4), 391–400.
Urban, S. and Lim, B.: 1993, An intelligent framework for active support of database semantics, International Journal of Expert Systems 6 (1), 1–37.
Wagner, G.: 1991, Ex contradictione nihil sequitur, in R. Reiter and J. Mylopoulos (eds), Proc. of the 12th Int. Joint Conf. on Artificial Intelligence, Morgan Kaufmann, Sydney, Australia, pp. 538–546.
Wagner, G. (ed.): 1997, Handling Inconsistency in Knowledge Systems, Editions Hermès. Special issue of the Journal of Applied Non-Classical Logics, 7(1–2).
Wand, Y. and Wang, R.: 1996, Anchoring data quality dimensions in ontological foundations, Comm. of the Assoc. for Computing Machinery 39, 86–95.
Zimányi, E. and Pirotte, A.: 1997, Imperfect knowledge in databases, in A. Motro and P. Smets (eds), Uncertainty Management in Information Systems: from Needs to Solutions, Kluwer, pp. 35–87.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Boydens, I., Pirotte, A., Zimanyi, E. (1998). Managing Constraint Violations in Administrative Information Systems. In: Spaccapietra, S., Maryanski, F. (eds) Data Mining and Reverse Engineering. IFIP — The International Federation for Information Processing. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35300-5_15
Download citation
DOI: https://doi.org/10.1007/978-0-387-35300-5_15
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-4910-6
Online ISBN: 978-0-387-35300-5
eBook Packages: Springer Book Archive