Galileo: A Strongly-Typed, Interactive Conceptual Language.

@article{DBLP:journals/tods/AlbanoCO85,
  author    = {Antonio Albano and
               Luca Cardelli and
               Renzo Orsini},
  title     = {Galileo: A Strongly-Typed, Interactive Conceptual Language},
  journal   = {ACM Trans. Database Syst.},
  volume    = {10},
  number    = {2},
  year      = {1985},
  pages     = {230-260},
  ee        = {http://doi.acm.org/10.1145/3857.3859, db/journals/tods/AlbanoCO85.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

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 the abstraction mechanisms of modern programming languages (types, abstract types, and modularization). The main contributions of Galileo are (a) a flexible type system to model database structure and semantic integrity constraints; (b) the inclusion of type hierarchies to support the specialization abstraction mechanisms of semantic data models; (c) a modularization mechanism to structure data and operations into interrelated units (d) the integration of abstraction mechanisms into an expression-based language that allows 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.

Copyright © 1985 by the ACM, Inc., used by permission. Permission to make digital or hard copies is granted provided that copies are not made or distributed for profit or direct commercial advantage, and that copies show this notice on the first page or initial screen of a display along with the full citation.

Joint ACM SIGMOD / IEEE Computer Society Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An3-1 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD2 or /dvd

References

[1]

...

[2]

...

[3]

...

[4]

...

[5]

...

[6]

...

[7]

Antonio Albano, Maurizio Capaccioli, M. Eugenia Occhiuto, Renzo Orsini: A Modularization Mechanism for Conceptual Modeling. VLDB 1983: 232-240 BibTeX

[8]

...

[9]

...

[10]

Malcolm P. Atkinson, Peter J. Bailey, Kenneth Chisholm, W. Paul Cockshott, Ronald Morrison: An Approach to Persistent Programming. Comput. J. 26(4): 360-365(1983) BibTeX

[11]

...

[12]

...

[13]

Horst Biller, Erich J. Neuhold: Semantics of data bases: The semantics of data models. Inf. Syst. 3(1): 11-30(1978) BibTeX

[14]

...

[15]

...

[16]

...

[17]

Michael L. Brodie: The application of data types to database semantic integrity. Inf. Syst. 5(4): 287-296(1980) BibTeX

[18]

...

[19]

Michael L. Brodie: On Modelling Behavioural Semantics of Databases. VLDB 1981: 32-42 BibTeX

[20]

...

[21]

Janis A. Bubenko Jr.: Information Modeling in the Context of System Development. IFIP Congress 1980: 395-411 BibTeX

[22]

Peter Buneman, Robert E. Frankel: FQL - A Functional Query Language. SIGMOD Conference 1979: 52-58 BibTeX

[23]

...

[24]

...

[25]

...

[26]

Stefano Ceri, Giuseppe Pelagatti, Giampio Bracchi: Structured methodology for designing static and dynamic aspects of data base applications. Inf. Syst. 6(1): 31-45(1981) BibTeX

[27]

...

[28]

...

[29]

...

[30]

Jim Gray: The Transaction Concept: Virtues and Limitations (Invited Paper). VLDB 1981: 144-154 BibTeX

[31]

Michael Hammer, B. Berkowitz: DIAL: A Programming Language for Data Intensive Applications. SIGMOD Conference 1980: 75-92 BibTeX

[32]

Michael Hammer, Dennis McLeod: Database Description with SDM: A Semantic Database Model. ACM Trans. Database Syst. 6(3): 351-386(1981) BibTeX

[33]

William Kent: Limitations of Record-Based Information Models. ACM Trans. Database Syst. 4(1): 107-131(1979) BibTeX

[34]

Vincent Y. Lum, Sakti P. Ghosh, Mario Schkolnick, Robert W. Taylor, D. Jefferson, Stanley Y. W. Su, James P. Fry, Toby J. Teorey, B. Yao, D. S. Rund, B. Kahn, Shamkant B. Navathe, D. Smith, L. Aguilar, W. J. Barr, P. E. Jones: 1978 New Orleans Data Base Design Workshop Report. VLDB 1979: 328-339 BibTeX

[35]

...

[36]

Robin Milner: A Theory of Type Polymorphism in Programming. J. Comput. Syst. Sci. 17(3): 348-375(1978) BibTeX

[37]

John Mylopoulos, Philip A. Bernstein, Harry K. T. Wong: A Language Facility for Designing Database-Intensive Applications. ACM Trans. Database Syst. 5(2): 185-207(1980) BibTeX

[38]

...

[39]

Nick Roussopoulos: CSDL: A Conceptual Schema Definition Language for the Design of Data Base Applications. IEEE Trans. Software Eng. 5(5): 481-496(1979) BibTeX

[40]

Lawrence A. Rowe, Kurt A. Shoens: Data Abstractions, Views and Updates in RIGEL. SIGMOD Conference 1979: 71-81 BibTeX

[41]

...

[42]

...

[43]

...

[44]

...

[45]

David W. Shipman: The Functional Data Model and the Data Language DAPLEX. ACM Trans. Database Syst. 6(1): 140-173(1981) BibTeX

[46]

Jonathan E. Shopiro: Theseus - A Programming Language for Relational Databases. ACM Trans. Database Syst. 4(4): 493-517(1979) BibTeX

[47]

John Miles Smith, Diane C. P. Smith: Database Abstractions: Aggregation and Generalization. ACM Trans. Database Syst. 2(2): 105-133(1977) BibTeX

[48]

...

[49]

...

[50]

Daniel Teichroew, Ernest A. Hershey III: PSL/PSA: A Computer Aided Technique for Structured Documentation and Analysis of Information Processing Systems. IEEE Trans. Software Eng. 3(1): 41-48(1977) BibTeX

[51]

...

[52]

Anthony I. Wasserman: The Data Management Facilities of PLAIN. SIGMOD Conference 1979: 60-70 BibTeX

[53]

Herbert Weber: A Software Engineering View of Data Base Systems. VLDB 1978: 36-51 BibTeX

[54]

...