- Author
-
E. de Haas
- Year
- 1995
- host editors
-
H. Reichel
- Title
- Categorial Graphs
- Book/source title
- Fundamentals of Computation Theory
- Book/source subtitle
- 10th International Conference, FCT '95 Dresden, Germany, August 22–25, 1995 : poceedings
- Pages (from-to)
- 263-272
- Publisher
- Berlin: Springer
- ISBN
- 3540602496
9783540602491 - ISBN (electronic)
- 9783540447702
- Series
- Lecture Notes in Computer Science , 0302-9743, 965
- Document type
- Conference contribution
- Faculty
- Faculty of Science (FNWI)
- Institute
- Informatics Institute (IVI)
- Abstract
-
In this paper we present a denotational semantics for a class of database definition languages. We present a language, called categorial graph language, that combines both graphical and textual phrases and is tailored to define databases. The categorial graph language is modeled after a number of practical languages. Its semantics is based on a variant of linear logic, and incorporates directly the notions expressed in the language. We emphasize on the fact that in the semantics presented here, we directly axiomatize the behavior of complex objects, instead of encoding it with help of the traditional mathematical notions. We will argue that this is desirable regarding clearness of semantics and matters of complexity.
- URL
- go to publisher's site
- Language
- English
- Note
- Extended abstract
- Persistent Identifier
- https://hdl.handle.net/11245/1.117697
Disclaimer/Complaints regulations
If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library, or send a letter to: Library of the University of Amsterdam, Secretariat, Singel 425, 1012 WP Amsterdam, The Netherlands. You will be contacted as soon as possible.