Skip to main content
SpringerLink
Log in

Applying Theory Revision to the Design of Distributed Databases

  • Conference paper
Book cover Inductive Logic Programming (ILP 2003)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 2835))

Included in the following conference series:

Abstract

This work presents the application of theory revision to the design of distributed databases to automatically revise a heuristic-based algorithm (called analysis algorithm) through the use of the FORTE system. The analysis algorithm decides the fragmentation technique to be used in each class of the database and its Prolog implementation is provided as the initial domain theory. Fragmentation schemas with previously known performance, obtained from experimental results on top of an object database benchmark, are provided as the set of examples. We show the effectiveness of our approach in finding better fragmentation schemas with improved performance.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Baião, F.: A Methodology and Algorithms for the Design of Distributed Databases using Theory Revision. Doctoral Thesis, Computer Science Department – COPPE, Federal University of Rio de Janeiro, Brazil. Technical Report ES-565/02 (2002), COPPE/UFRJ (2001)

    Google Scholar 

  2. Baião, F., Mattoso, M.: A Mixed Fragmentation Algorithm for Distributed Object Oriented Databases. In: Proc. Int’l. Conf. Computing and Information (ICCI 1998), Winnipeg, pp. 141-148 (1998); Also In Special Issue of Journal of Computing and Information (JCI) 3(1), 141-148 ISSN 1201-8511

    Google Scholar 

  3. Baião, F., Mattoso, M., Zaverucha, G.: Towards an Inductive Design of Distributed Object Oriented Databases. In: Proc. Third IFCIS Conf on Cooperative Information Systems (CoopIS 1998), pp. 88–197. IEEE CS Press, New York (1998a)

    Google Scholar 

  4. Baião, F., Mattoso, M., Zaverucha, G.: A Distribution Design Methodology for Object DBMS (2001) (submitted in August 2000); revised manuscript sent in November 2001 to International Journal of Distributed and Parallel Databases, Kluwer Academic Publishers

    Google Scholar 

  5. Baião, F., Mattoso, M., Zaverucha, G.: A Framework for the Design of Distributed Databases. In: Workshop on Distributed Data & Structures (WDAS 2002). Proceedings in Informatics series, Carleton Scientific (2002)

    Google Scholar 

  6. Bellatreche, L., Simonet, A., Simonet, M.: Vertical Fragmentation in Distributed Object Database Systems with Complex Attributes and Methods. In: Proc. 7th Int’l Workshop Database and Expert Systems Applications (DEXA 1996), pp. 15–21. IEEE Computer Society, Zurich (1996)

    Chapter  Google Scholar 

  7. Bellatreche, L., Karlapalem, K., Simonet, A.: Algorithms and Support for Horizontal Class Partitioning in Object-Oriented Databases. Int’l. Journal of Distributed and Parallel Databases 8(2), 155–179 (2000)

    Article  Google Scholar 

  8. Blockeel, H., De Raedt, L.: Inductive Database Design. In: Michalewicz, M., Raś, Z.W. (eds.) ISMIS 1996. LNCS, vol. 1079, Springer, Heidelberg (1996)

    Google Scholar 

  9. Blockeel, H., De Raedt, L.: IsIdd: an Interactive System for Inductive Database Design. Applied Artificial Intelligence 12(5), 385–420 (1998)

    Article  Google Scholar 

  10. Brunk, C.: An Investigation of Knowledge Intensive Approaches to Concept Learning and Theory Refinement. PhD Thesis, University of California, Irvine, USA (1996)

    Google Scholar 

  11. Brunk, C., Pazzani, M.: A Linguistically-Based Semantic Bias for Theory Revision. In: Proc. 12th Int’l. Conf. of Machine Learning (1995)

    Google Scholar 

  12. Carey, M., DeWitt, D., Naughton, J.: The OO7 Benchmark. In: Proc. 1993 ACM SIGMOD, Washington DC, vol. 22(2), pp. 12–21 (1993)

    Google Scholar 

  13. Chen, Y., Su, S.: Implementation and Evaluation of Parallel Query Processing Algorithms and Data Partitioning Heuristics in Object Oriented Databases. Int’l. Journal of Distributed and Parallel Databases 4(2), 107–142 (1996)

    Google Scholar 

  14. Ezeife, C., Barker, K.: A Comprehensive Approach to Horizontal Class Fragmentation in a Distributed Object Based System. Int’l. Journal of Distributed and Parallel Databases 3(3), 247–272 (1995)

    Article  Google Scholar 

  15. Ezeife, C., Barker, K.: Distributed Object Based Design: Vertical Fragmentation of Classes. Int’l. Journal of Distributed and Parallel Databases 6(4), 317–350 (1998)

    Article  Google Scholar 

  16. Fogel, L., Zaverucha, G.: Normal programs and Multiple Predicate Learning. In: Page, D.L. (ed.) ILP 1998. LNCS, vol. 1446, pp. 175–184. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  17. Fung, C., Karlapalem, K., Li, Q.: Object-Oriented Systems: An Evaluation of Vertical Class Partitioning for Query Processing in Object-Oriented Databases. IEEE Transactions on Knowledge and Data Engineering 14(5) (September/October 2002)

    Google Scholar 

  18. Getoor, L., Friedman, N., Koller, D., Taskar, B.: Probabilistic Models of Relational Structure. In: Proc. Int’l. Conf. Machine Learning, Williamstown (2001)

    Google Scholar 

  19. Getoor, L., Taskar, B., Koller, D.: Selectivity Estimation using Probabilistic Models. In: Proc. 2001 ACM SIGMOD, Santa Barbara, CA (2001)

    Google Scholar 

  20. Karlapalem, K., Navathe, S., Morsi, M.: Issues in Distribution Design of Object-Oriented Databases. In: Özsu, M., et al. (eds.) Distributed Object Management, Morgan Kaufmann Pub. Inc., San Francisco (1994)

    Google Scholar 

  21. Kohavi, R.: A Study of Cross-Validation and Bootstrap for Accuracy Estimation and Model Selection. In: Proceedings of the IJCAI 1995, pp. 1137-1145 (1995)

    Google Scholar 

  22. Koppel, M., Feldman, R., Segre, A.: Bias-Driven Revision of Logical Domain Theories. Journal of Artificial Intelligence Research 1, 159–208 (1994)

    MATH  MathSciNet  Google Scholar 

  23. Lima, F., Mattoso, M.: Performance Evaluation of Distribution in OODBMS: a Case Study with O2. In: Proc. IX Int’l. Conf. on Par & Dist Computing Systems (PDCS 1996), ISCA-IEEE, Dijon, pp.720-726 (1996)

    Google Scholar 

  24. Maier, D., et al.: Issues in Distributed Object Assembly. In: Özsu, M., et al. (eds.) Distributed Object Management, Morgan Kaufmann Publishers Inc., San Francisco (1994)

    Google Scholar 

  25. Meyer, L., Mattoso, M.: Parallel query processing in a shared-nothing object database server. In: Proc. 3rd Int’l. Meeting on Vector and Parallel Processing (VECPAR 1998), Porto, Portugal, pp. 1007–1020 (1998)

    Google Scholar 

  26. Mitchell, T.: Machine Learning. McGraw-Hill Inc., New York (1997)

    MATH  Google Scholar 

  27. Muggleton, S., De Raedt, L.: Inductive logic programming: Theory and methods. Journal of Logic Programming 19(20), 629–679 (1994)

    Article  MathSciNet  Google Scholar 

  28. Özsu, M., Valduriez, P.: Principles of Distributed Database Systems, 2nd edn. Prentice-Hall, New Jersey (1999)

    Google Scholar 

  29. Richards, B., Mooney, R.: Refinement of First-Order Horn-Clause Domain Theories. Machine Learning 19(2), 95–131 (1995)

    Google Scholar 

  30. Ruberg, G., Baião, F., Mattoso, M.: Estimating Costs of Path Expression Evaluation in Distributed Object Databases. In: Hameurlain, A., Cicchetti, R., Traunmüller, R. (eds.) DEXA 2002. LNCS, vol. 2453, pp. 351–360. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  31. Savonnet, M., Terrasse, M., Yétongnon, K.: Fragtique: A Methodology for Distributing Object Oriented Databases. In: Proc. Int’l. Conf. Computing and Information (ICCI 1998), Winnipeg, pp.149-156 (1998)

    Google Scholar 

  32. Tavares, F., Victor, A., Mattoso, M.: Parallel Processing Evaluation of Path Expressions. In: Proc. XV Brazilian Symposium on Databases, SBC, João Pessoa, Brazil. pp. 49-63 (2000)

    Google Scholar 

  33. Wogulis, J.: An Approach to Repairing and Evaluating First-Order Theories Containing Multiple Concepts and Negation. Ph.D. Thesis, University of California, Irvine, USA (1994)

    Google Scholar 

  34. Wrobel, S.: First Order Theory Refinement. In: De Raedt, L. (ed.) Advances in Inductive Logic Programming, IOS Press, pp. 14–33. IOS Press, Amsterdam (1996)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science – COPPE, Federal University of Rio de Janeiro (UFRJ), PO Box 68511, Rio de Janeiro, RJ, 21941-972, Brazil

    Fernanda Baião, Marta Mattoso & Gerson Zaverucha

  2. Computer Sciences Department, University of Wisconsin-Madison, 1210 West Dayton Street, Madison, WI, 53706, USA

    Jude Shavlik

Authors
  1. Fernanda Baião
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Marta Mattoso
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jude Shavlik
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Gerson Zaverucha
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Fraunhofer IAIS, Schloss Birlinghoven, Sankt Augustin, Germany

    Tamás Horváth

  2. Graduate School of Informatics, Kyoto University Yoshida Honmachi, 606-850, Sakyo-ku, Kyoto, Japan

    Akihiro Yamamoto

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Baião, F., Mattoso, M., Shavlik, J., Zaverucha, G. (2003). Applying Theory Revision to the Design of Distributed Databases. In: Horváth, T., Yamamoto, A. (eds) Inductive Logic Programming. ILP 2003. Lecture Notes in Computer Science(), vol 2835. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39917-9_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-39917-9_6

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-20144-1

  • Online ISBN: 978-3-540-39917-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation