Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Galileo: A Strongly Typed, Interactive Conceptual Language Antonio Albano

Summary: Galileo: A Strongly Typed, Interactive Conceptual Language
Antonio Albano
Universita' di Pisa,
Luca Cardelli
AT&T Bell Laboratories
Renzo Orsini
Universita' di Pisa,
Galileo, a programming language for database applications, is presented. Galileo is
a strongly typed, interactive programming language designed specifically to support
Semantic Data Model features (classification, aggregation and specialization) as well as
abstraction mechanisms of modern programming languages (types, abstract types and
modularization). The main contributions of Galileo are: a) the proposal of a flexible type
system to model database structure and semantic integrity constraints; b) the inclusion of
type hierarchies to support the specialization abstraction mechanism of Semantic Data
Models. c) the proposal of a modularization mechanism to structure data and operations
into interrelated units; d) the integration of the abstraction mechanisms into an expression
based language that allows an interactive use of the database without resorting to a new
stand alone query language. Galileo will be used in the immediate future as a tool for
database design and, in the long term, as a high level interface for DBMSs.


Source: Albano, Antonio - Dipartimento di Informatica, UniversitÓ di Pisa


Collections: Computer Technologies and Information Sciences