Paper Info
Title
Research issues in database specification
Abstract
This paper summarizes discussions of a panel on "Type Specifications and Databases" at VLDB in Mexico City. Panel members are listed at the end of the paper.Significant advances have been achieved in software engineering and programming language research in the development of specification techniques. There are important consequences for design, redesign, precision, and analysis of software. The importance of this work to database applications, and indeed data models and data languages, is now becoming apparent. However, specific database issues (e.g., constraints, complex data relationships, shared data, data independence) alter the specification problem as encountered in programming languages. The summary emphasizes the importance of (precise) specification in the database context and relates recent results in both programming languages and databases. It also lists outstanding theoretical problems and the relationship of advances in specification research to the development of semantic data models and high level languages for databases.
Year
DOI
Venue
1983
10.1145/984532.984536
SIGMOD Record
Keywords
Field
DocType
specification technique,specification research,data language,shared data,complex data relationship,programming language,research issue,data model,data independence,specification problem,semantic data model,database specification,software engineering,high level language,complex data
Specification language,Data mining,Second-generation programming language,Programming language specification,Database model,Computer science,Fourth-generation programming language,Database design,Formal specification,Database,Database Specification
Journal
Volume
Issue
Citations 
13
3
10
PageRank 
References 
Authors
3.69
1
1
Name
Order
Citations
PageRank
Michael L. Brodie11005626.90