Skip to content Skip to navigation
University of Warwick
  • Study
  • |
  • Research
  • |
  • Business
  • |
  • Alumni
  • |
  • News
  • |
  • About

University of Warwick
Publications service & WRAP

Highlight your research

  • WRAP
    • Home
    • Search WRAP
    • Browse by Warwick Author
    • Browse WRAP by Year
    • Browse WRAP by Subject
    • Browse WRAP by Department
    • Browse WRAP by Funder
    • Browse Theses by Department
  • Publications Service
    • Home
    • Search Publications Service
    • Browse by Warwick Author
    • Browse Publications service by Year
    • Browse Publications service by Subject
    • Browse Publications service by Department
    • Browse Publications service by Funder
  • Help & Advice
University of Warwick

The Library

  • Login
  • Admin

Varqa : A functional query language based on an algebraic approach and conventional mathematical notation

Tools
- Tools
+ Tools

Golshani, Forouzan (1982) Varqa : A functional query language based on an algebraic approach and conventional mathematical notation. PhD thesis, University of Warwick.

[img]
Preview
PDF
WRAP_THESIS_Golshani_1982.pdf - Requires a PDF viewer.

Download (4Mb) | Preview
Official URL: http://webcat.warwick.ac.uk/record=b1755177~S1

Request Changes to record.

Abstract

We propose a functional query language for databases where both syntax and semantics are based on conventional mathematics.

We argue that database theory should not be separated from other fields of Computer Science, and that database languages should have the same properties as those of other non-procedural languages.

The data are represented in our database as a collection of sets, and the relationships between the data are represented by functions mapping these sets to each other. A database is therefore a many-sorted algebra; i.e. a collection of indexed sets and indexed operations. As in abstract data type specification, we specify the consequences of applying operations to the data without reference to any particular internal structure of the data.

A query is simply an expression which is built up from symbols in the signature of the algebra and which complies with the formation rules given by the language. The meaning of a query is the value which is assigned to it by the algebra.

There are several ways of extending our language. Twos ways are studied here. The first extension is to allow queries in which sets are defined inductively (i.e. recursively). This mechanism is essential for queries dealing with transitive closures over some interrelated objects.

Secondly, since incomplete information is common to many databases, we extend our language to handle partially available data. One main principle guides our extensions: ‘whatever information is added to an incomplete database, subsequent answers to queries must not be less informative than previously’.

Finally, we show the correspondence between Varga and methods used in current database software. A subset of Varga, including all features whose implementation is not obvious, is mapped to relational algebra thus showing that our language, though it has been designed with no reference to internal structure, is not incompatible with present database software.

Item Type: Thesis or Dissertation (PhD)
Subjects: Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software
Divisions: Faculty of Science > Computer Science
Library of Congress Subject Headings (LCSH): Database design
Publisher: University of Warwick. Department of Computer Science
Official Date: August 1982
Dates:
DateEvent
August 1982Submitted
DOI: CS-RR-043
Institution: University of Warwick
Theses Department: Department of Computer Science
Thesis Type: PhD
Status: Not Peer Reviewed
Publication Status: Unpublished
Supervisor(s)/Advisor: Wadge, Bill
Extent: iv, 174 p.
Language: eng

Request changes or add full text files to a record

Repository staff actions (login required)

View Item View Item

Downloads

Downloads per month over past year

View more statistics

twitter

Email us: wrap@warwick.ac.uk
Contact Details
About Us