Distributed Information System Design Based on Integrity Constraints Optimization: The FKDO Algorithm

  • Snene Mehdi
  • Pardellas Jorge
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2817)


In this paper, we present an algorithm to generate different distribution possibilities according to a design schema and a specified site number to help designers to choose the preferred distribution solution that reduces communication time and increases the data integrity between sites. In our article, we consider that integrity constraints are a major fact influencing the distribution choice due to the cost resulting from their verification and validation over the multiple sites. Our approach is based on the optimisation of dependencies between tables while keeping enough flexibility for designers.


Integrity Constraint Distribution Possibility Conjunctive Query Distribute Information System Distribution Design 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [01]
    Barbara, D., Garcia-Molina, H.: The Demarcation Protocol: A Technique for Maintaining Arithmetic Constraints in Distributed Database Systems. In: Extending Database Technology Conference, Vienna. LNCS, vol. 580, pp. 373–397 (March 1992)Google Scholar
  2. [02]
    Bernstein, P.A., Blaustein, B.T., Clarke, E.M.: Fast Maintenance of Semantic Integrity Assertions Using Redundant Aggregate Data. In: Proceedings of the Sixth Conference on Very Large Data Bases, pp. 126–136 (1980)Google Scholar
  3. [03]
    Blakeley, J.A., Coburn, N., Larson, P.: Updating Derived Relations: Detecting Irrelevant and Autonomously Computable Updates. ACM Transactions on Database Systems 14(3), 369–400 (1989)CrossRefMathSciNetGoogle Scholar
  4. [04]
    Bry, F., Manthey, R., Martens, B.: Integrity Verification in Knowledge Bases. In: Logic Programming. LNCS (LNAI), vol. 592, pp. 114–139 (1992)Google Scholar
  5. [05]
    Elkan, C.: Independence of Logic Database Queries and Updates. In: Proceedings of the Ninth Symposium on Principles of Database Systems (PODS), Nashville, TN, pp. 154–160 (June 1990) ACM SIGACT-SIGMOD-SIGARTGoogle Scholar
  6. [06]
    Grefen, P.: Combining theory and practice in integrity control: A declarative approach to the specification of a transaction modification subsystem. In: Proceedings of the International Conference on Very Large Data Bases, Dublin, Ireland, August 1993, pp. 581–591 (1993)Google Scholar
  7. [07]
    Gupta, A., Ullman, J.D.: Generalizing Conjunctive Query Containment for View Maintenance and Integrity Constraint Checking. In: Workshop on Deductive Databases, JICSLP (1992)Google Scholar
  8. [08]
    Le Pham, N.H.: Optimisation globales des contrôles d’intégrité dans une base de données. PhD. Thesis, Geneva University, Editions Systèmes et Information (1990)Google Scholar
  9. [09]
    Qian, X.: Distributed design of integrity constraints. In: Proceedings of the Second International Conference on Expert Database Systems, pp. 205–226. The Benjamin/Cummings Publishing Company (1988)Google Scholar
  10. [10]
    Rusinkiewicz, M., Sheth, A., Karabatis, G.: Specifying interdatabase dependencies in a multidatabase environment. IEEE Computer 24(12), 46–51 (1991)Google Scholar
  11. [11]
    Turki, S., Léonard, M.: IS Components with Hyperclasses. In: Bruel, J.-M., Bellahsène, Z. (eds.) OOIS 2002. LNCS, vol. 2426, pp. 132–141. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  12. [12]
    Turki, S.: Introduction aux hyper-classes. In: The proceedings of Inforsid 2001, Martigny, Suisse, Mai 2001, pp. 281–299 (2001) ISBN: 2-906855-17-0Google Scholar
  13. [13]
    Snene, M., Léonard, M.: Distributed Framework for Real-Time Web-Based Collaboration: M7Tool CASE, IEEE Computer, AICCSA (2003)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Snene Mehdi
    • 1
  • Pardellas Jorge
    • 1
  1. 1.Database Laboratory, Centre Universitaire InformatiqueGeneva UniversityGenevaSwitzerland

Personalised recommendations