Skip navigation

Validation of queries to a relational database

Validation of queries to a relational database

Hainline, Douglas Ray (1986) Validation of queries to a relational database. PhD thesis, Thames Polytechnic.

Douglas_Ray_Hainline_1986.pdf - Published Version
Available under License Creative Commons Attribution Non-commercial No Derivatives.

Download (12MB)


This thesis addresses the problem of preventing users of a data base system from interrogating it with query language expressions which are syntactically and semantically valid but which do not match the user's intentions. A method of assisting users of a relational data base to formulate query language expressions which are valid representations of the abstract query which the user wishes to put is developed.

The central focus of the thesis is a method of communicating the critical aspects of the semantics of the relation which would be generated in response to a user's proposed operations on the data base. Certain classes of user error which can arise when using a relational algebra query system are identified, and a method of demonstrating their invalidity is demonstrated. This is achieved by representing via a graph the consequences of operations on relations. Also developed are techniques allowing the generation of pseudo-natural language text describing the relations which would be created as the result of the user's proposed query language operations.

A method of allowing the creators of data base relations to incorporate informative semantic data about their relations is developed. A method of permitting this data to be modified by query language operations is specified. Pragmatic linguistic considerations which arise when this data is used to generate pseudo-natural language statements are addressed, and examples of the system's use are given.

Item Type: Thesis (PhD)
Additional Information:
Uncontrolled Keywords: natural language programming, computer software, signal processing, information theory, human engineering,
Subjects: Q Science > QA Mathematics > QA76 Computer software
T Technology > TK Electrical engineering. Electronics Nuclear engineering
Pre-2014 Departments: School of Computing & Mathematical Sciences
School of Computing & Mathematical Sciences > Department of Computing and Information Systems
Last Modified: 14 Oct 2016 09:21

Actions (login required)

View Item View Item


Downloads per month over past year

View more statistics