Skip to main content
SpringerLink
Log in

Typing Graph-Manipulation Operations

  • Conference paper
  • First Online:
Book cover Database Theory — ICDT 2003 (ICDT 2003)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2572))

Included in the following conference series:

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.

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. Chen, P.P.: The Entity-Relationship Model: Toward a uni.ed view of data. ACM Transactions on Database Systems 1 (1976) 9–36

    Article  Google Scholar 

  2. Kuper, G.M., Vardi, M.Y.: The logical data model. ACMTransactions on Database Systems 18 (1993) 379–413

    Article  MathSciNet  Google Scholar 

  3. Abiteboul, S., Hull, R.: IFO: A formal semantic database model. ACM Transactions on Database Systems 12 (1987) 525–565

    Article  MathSciNet  Google Scholar 

  4. Shipman, D.W.: The functional data model and the data language DAPLEX. CM Transactions on Database Systems 6 (1981) 140–173

    Article  Google Scholar 

  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–586

    Article  Google Scholar 

  6. Catarci, T., Tarantino, L.: A hypergraph-based framework for visual interaction with databases. Journal of Visual Languages and Computing 6 (1995) 135–166

    Article  Google Scholar 

  7. Drewes, F., Hoffmann, B., Plump, D.: Hierarchical graph transformation. In: Foundations of Software Science and Computation Structure. (2000) 98–113

    Google Scholar 

  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–476

    Article  Google Scholar 

  9. Poulovassilis, A., Hild, S.G.: Hyperlog: a graph-based system for database browsing, querying and update. IEEE Data & Knowledge Engineering 13 (2001) 316–333

    Article  Google Scholar 

  10. Abiteboul, S.: Querying semi-structured data. In: ICDT. (1997) 1–18

    Google Scholar 

  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. 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].

    Article  MATH  MathSciNet  Google Scholar 

  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–355

    Google Scholar 

  14. Gemis, M.: Graph-based languages in DBMS. PhD thesis, University of Antwerp (1996)

    Google Scholar 

  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–265

    Google Scholar 

  16. Beeri, C.: A formal approach to object-oriented databases. Data and Knowledge Engineering 5 (1990) 353–382

    Article  Google Scholar 

  17. Codd, E.F.: A relational model of data for large shared data banks. Communications of the ACM 13 (1970) 377–387

    Article  MATH  Google Scholar 

  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–138

    Google Scholar 

  19. Hull, R.B., Yap, C.K.: The format model: A theory of database organization. Journal of the ACM 31 (1984) 518–537

    Article  MATH  MathSciNet  Google Scholar 

  20. Nijssen, G.M., Halpin, T.: Conceptual Schema and Relational Database Design: a fact oriented approach. Prentice Hall, Sydney, Australia (1989)

    Google Scholar 

  21. Hidders, J.: GUL, a Graph-based Update Language for Object-Oriented Data Models. PhD thesis, Eindhoven University of Technology (2001)

    Google Scholar 

  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–379

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Antwerp (UIA), Universiteitsplein 1, B-2610, Antwerp, Belgium

    Jan Hidders

Authors
  1. Jan Hidders
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Dip. di Informatica e Sistemistica, Università di Roma “La Sapienza”, Via Salaria 113, 00198, Roma, Italy

    Diego Calvanese  & Maurizio Lenzerini  & 

  2. Department of Computer Science, Stanford University, Room 474 Gates Computer Science Building 4B, 94305-9045, Stanford, CA, USA

    Rajeev Motwani

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hidders, J. (2003). Typing Graph-Manipulation Operations. In: Calvanese, D., Lenzerini, M., Motwani, R. (eds) Database Theory — ICDT 2003. ICDT 2003. Lecture Notes in Computer Science, vol 2572. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36285-1_26

Download citation

  • DOI: https://doi.org/10.1007/3-540-36285-1_26

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-00323-6

  • Online ISBN: 978-3-540-36285-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation