Typing Graph-Manipulation Operations

  • Jan Hidders
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2572)

Abstract

We present a graph-based data model called GDM where database instances and database schemas are described by certain types of labeled graphs called instance graphs and schema graphs. For this data model we introduce two graph-manipulation operations, an addition and a deletion, that are based on pattern matching and can be represented in a graphical way. For these operations it is investigated if they can be typed such that it is guaranteed for well-typed operations that the result belongs to a certain database schema graph, and what the complexity of deciding this well-typedness is.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Chen, P.P.: The Entity-Relationship Model: Toward a uni.ed view of data. ACM Transactions on Database Systems 1 (1976) 9–36CrossRefGoogle Scholar
  2. 2.
    Kuper, G.M., Vardi, M.Y.: The logical data model. ACMTransactions on Database Systems 18 (1993) 379–413CrossRefMathSciNetGoogle Scholar
  3. 3.
    Abiteboul, S., Hull, R.: IFO: A formal semantic database model. ACM Transactions on Database Systems 12 (1987) 525–565CrossRefMathSciNetGoogle Scholar
  4. 4.
    Shipman, D.W.: The functional data model and the data language DAPLEX. CM Transactions on Database Systems 6 (1981) 140–173CrossRefGoogle Scholar
  5. 5.
    Gyssens, M., Paredaens, J., Van den Bussche, J., Van Gucht, D.: A graph-oriented object database model. IEEE Transactions on Knowledge and Data Enginering 6 (1994) 572–586CrossRefGoogle Scholar
  6. 6.
    Catarci, T., Tarantino, L.: A hypergraph-based framework for visual interaction with databases. Journal of Visual Languages and Computing 6 (1995) 135–166CrossRefGoogle Scholar
  7. 7.
    Drewes, F., Hoffmann, B., Plump, D.: Hierarchical graph transformation. In: Foundations of Software Science and Computation Structure. (2000) 98–113Google Scholar
  8. 8.
    Consens, M.P., Eigler, F.C., Hasan, M.Z., Mendelzon, A.O., Noik, E.G., Ryman, A.G., Vista, D.: Architecture and applications of the Hy+ visualization system. IBM Systems Journal 33 (1994) 458–476CrossRefGoogle Scholar
  9. 9.
    Poulovassilis, A., Hild, S.G.: Hyperlog: a graph-based system for database browsing, querying and update. IEEE Data & Knowledge Engineering 13 (2001) 316–333CrossRefGoogle Scholar
  10. 10.
    Abiteboul, S.: Querying semi-structured data. In: ICDT. (1997) 1–18Google Scholar
  11. 11.
    Suciu, D.: An overview of semistructured data. SIGACTN: SIGACT News (ACM Special Interest Group on Automata and Computability Theory) 29 (1998)Google Scholar
  12. 12.
    Van den Bussche, J., Van Gucht, D., Andries, M., Gyssens, M.: On the completeness of object-creating database transformation languages. Journal of the ACM 44 (1997) 272–319 A revised and extended version of [22].MATHCrossRefMathSciNetGoogle Scholar
  13. 13.
    Gemis, M., Paredaens, J.: An object-oriented pattern matching language. In: Proceedings of the First JSSST International Symposium. Number 742 in LNCS, Springer-Verlag (1993) 339–355Google Scholar
  14. 14.
    Gemis, M.: Graph-based languages in DBMS. PhD thesis, University of Antwerp (1996)Google Scholar
  15. 15.
    Hidders, J., Paredaens, J.: GOAL: A graph-based object and association language. In Paredaens, J., Tenenbaum, L., eds.: Advances in Database Systems-Implementations and Applications. Volume 347 of CISM Courses and Lectures. Springer-Verlag (1994) 247–265Google Scholar
  16. 16.
    Beeri, C.: A formal approach to object-oriented databases. Data and Knowledge Engineering 5 (1990) 353–382CrossRefGoogle Scholar
  17. 17.
    Codd, E.F.: A relational model of data for large shared data banks. Communications of the ACM 13 (1970) 377–387MATHCrossRefGoogle Scholar
  18. 18.
    Jaeschke, G., Schek, H.J.: Remarks on the algebra of non first normal form relations. In: Proc. of the 1st ACM Symp. on Principles of Database Systems, Los Angeles, California (1982) 124–138Google Scholar
  19. 19.
    Hull, R.B., Yap, C.K.: The format model: A theory of database organization. Journal of the ACM 31 (1984) 518–537MATHCrossRefMathSciNetGoogle Scholar
  20. 20.
    Nijssen, G.M., Halpin, T.: Conceptual Schema and Relational Database Design: a fact oriented approach. Prentice Hall, Sydney, Australia (1989)Google Scholar
  21. 21.
    Hidders, J.: GUL, a Graph-based Update Language for Object-Oriented Data Models. PhD thesis, Eindhoven University of Technology (2001)Google Scholar
  22. 22.
    Van den Bussche, J., Van Gucht, D., Andries, M., Gyssens, M.: On the completeness of object-creating query languages. In: Proc. of the 33rd Symposium on Foundations of Computer Science, IEEE Computer Society Press (1992) 372–379Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Jan Hidders
    • 1
  1. 1.University of Antwerp (UIA)AntwerpBelgium

Personalised recommendations