ACM SIGMOD Anthology TODS dblp.uni-trier.de

Galileo: A Strongly-Typed, Interactive Conceptual Language.

Antonio Albano, Luca Cardelli, Renzo Orsini: Galileo: A Strongly-Typed, Interactive Conceptual Language. ACM Trans. Database Syst. 10(2): 230-260(1985)
@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}
}
BibTeX

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

CDROM Version: Load the CDROM "Volume 3 Issue 1, TODS 1976-1990" and ... DVD Version: Load ACM SIGMOD Anthology DVD 2" and ... BibTeX

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]
...

Referenced by

  1. Anna Formica, Hans Dietmar Gröger, Michele Missikoff: An Efficient Method for Checking Object-Oriented Database Schema Correctness. ACM Trans. Database Syst. 23(3): 334-369(1998)
  2. Giuseppe Amato, Fosca Giannotti, Gianni Mainetto: Static Analysis of Transactions for Conservative Multigranularity Locking. DBPL 1997: 413-430
  3. Graham N. C. Kirby, Ronald Morrison, David S. Munro: Evolving Persistent Applications on Commercial Platforms. ADBIS 1997: 170-179
  4. Yuh-Ming Shyy, Javier Arroyo, Stanley Y. W. Su, Herman Lam: The Design and Implementation of K: A High-Level Knowledge-Base Programming Language of OSAM*.KBMS. VLDB J. 5(3): 181-195(1996)
  5. Peter Buneman, Atsushi Ohori: Polymorphism and Type Inference in Database Programming. ACM Trans. Database Syst. 21(1): 30-76(1996)
  6. Malcolm P. Atkinson, Ronald Morrison: Orthogonally Persistent Object Systems. VLDB J. 4(3): 319-401(1995)
  7. Antonio Albano, Giorgio Ghelli, Renzo Orsini: Fibonacci: A Programming Language for Object Databases. VLDB J. 4(3): 403-444(1995)
  8. Dave D. Straube, M. Tamer Özsu: Query Optimization and Execution Plan Generation in Object-Oriented Data Management Systems. IEEE Trans. Knowl. Data Eng. 7(2): 210-227(1995)
  9. Giansalvatore Mecca, Anthony J. Bonner: Sequences, Datalog and Transducers. PODS 1995: 23-35
  10. Richard C. H. Connor, Dharini Balasubramaniam, Ronald Morrison: Investigating Extension Polymorphism. DBPL 1995: 3
  11. Antonio Albano, Milena Diotallevi, Giorgio Ghelli: Extensible Objects for Database Evolution: Language Features and Implementation Issues. DBPL 1995: 10
  12. Serge Abiteboul, Richard Hull, Victor Vianu: Foundations of Databases. Addison-Wesley 1995, ISBN 0-201-53771-0
    Contents
  13. Atsushi Ohori, Keishi Tajima: A Polymorphic Calculus for Views and Object Sharing. PODS 1994: 255-266
  14. Anna Formica, Michele Missikoff: Correctness of ISA Hierarchies in Object-Oriented Database Schemas. EDBT 1994: 231-244
  15. Alexandre V. Zamulin: From a Database Programming Language to a Database Specification Language (Invited Paper). ADBIS 1994: 122-131
  16. Alexandra Poulovassilis, Carol Small: A Domain-theoretic Approach to Integrating Functional and Logic Database Languages. VLDB 1993: 416-428
  17. Giuseppe Amato, Fosca Giannotti, Gianni Mainetto: Data Sharing Analysis for a Database Programming Lanaguage via Abstract Interpretation. VLDB 1993: 405-415
  18. Antonio Albano, Roberto Bergamini, Giorgio Ghelli, Renzo Orsini: An Object Data Model with Roles. VLDB 1993: 39-51
  19. Elliot K. Kolodner, William E. Weihl: Atomic Incremental Garbage Collection and Recovery for a Large Stable Heap. SIGMOD Conference 1993: 177-186
  20. Sunit K. Gala, Shamkant B. Navathe, Manuel E. Bermudez: Voltaire: A Database Programming Language with a Single Execution Model for Evaluating Queries, Constraints amd Functions. ICDE 1993: 283-292
  21. Amândio Vaz Velho, Rogério Carapuça: From Entity-Relationship Models to Role-Attribute Models. ER 1993: 257-270
  22. John Rosenberg, Michael Hitchens: Linguistic Support for Persistent Modules and Capabilities. DBPL 1993: 32-49
  23. Alex Farkas, Alan Dearle: Octopus: A Reflective Language Mechanism for Object Manipulation. DBPL 1993: 50-64
  24. Richard C. H. Connor, Malcolm P. Atkinson, Sonia Berman, Quintin I. Cutts, Graham N. C. Kirby, Ronald Morrison: The Joy of Sets. DBPL 1993: 417-433
  25. Sonia Bergamaschi, Claudio Sartori: On Taxonomic Reasoning in Conceptual Design. ACM Trans. Database Syst. 17(3): 385-422(1992)
  26. Stan Danforth, Patrick Valduriez: A FAD for Data Intensive Applications. IEEE Trans. Knowl. Data Eng. 4(1): 34-51(1992)
  27. Elisa Bertino, Mauro Negri, Giuseppe Pelagatti, Licia Sbattella: Object-Oriented Query Languages: The Notion and the Issues. IEEE Trans. Knowl. Data Eng. 4(3): 223-237(1992)
  28. Joel Richardson: Supporting Lists in a Data Model (A Timely Approach). VLDB 1992: 127-138
  29. Seymour Ginsburg, Xiaoyang Sean Wang: Pattern Matching by Rs-Operations: Toward a Unified Approach to Querying Sequenced Data. PODS 1992: 293-300
  30. Marco A. Casanova, Antonio L. Furtado, Luiz Tucherman: A Software Tool for Modular Database Design. ACM Trans. Database Syst. 16(2): 209-234(1991)
  31. Alexandra Poulovassilis, Carol Small: A Functional Programming Approach to Deductive Databases. VLDB 1991: 491-500
  32. Antonio Albano, Giorgio Ghelli, Renzo Orsini: A Relationship Mechanism for a Strongly Typed Object-Oriented Database Programming Language. VLDB 1991: 565-575
  33. Yuh-Ming Shyy, Stanley Y. W. Su: K: A High-Level Knowledge Base Programming Language for Advanced Database Applications. SIGMOD Conference 1991: 338-347
  34. Christophe Lécluse: Rational of the O2 System. MFDBS 1991: 372-376
  35. Gerti Kappel, Michael Schrefl: Object/Behavior Diagrams. ICDE 1991: 530-539
  36. Ralf Jungclaus, Gunter Saake, Thorsten Hartmann: Language Features for Object-Oriented Conceptual Modelling. ER 1991: 309-324
  37. Philip W. Trinder: Comprehensions, a Query Notation for DBPLs. DBPL 1991: 55-68
  38. Val Tannen, Peter Buneman, Shamim A. Naqvi: Structural Recursion as a Query Language. DBPL 1991: 9-19
  39. Steve Rozen, Dennis Shasha: Rationale and Design of BULK. DBPL 1991: 71-85
  40. Joel Richardson, Peter M. Schwarz: MDM: An Object-Oriented Data Model. DBPL 1991: 86-95
  41. Brian A. Nixon: Implementation of Information System Design Specifications: A Performance Perspective. DBPL 1991: 149-168
  42. Martin Erwig, Udo W. Lipeck: A Functional DBPL Revealing High Level Optimizations. DBPL 1991: 306-321
  43. Richard C. H. Connor, David J. McNally, Ronald Morrison: Subtyping and Assignment in Database Programming Languages. DBPL 1991: 363-382
  44. Antonio Albano, Giorgio Ghelli, Renzo Orsini: Objects for a Database Programming Language. DBPL 1991: 236-253
  45. Bogdan D. Czejdo, Christoph F. Eick, Malcolm C. Taylor: TANGUY: Integrating Database, Rule-based and Object-Oriented Paradigms. DASFAA 1991: 339-346
  46. Marc H. Scholl, Hans-Jörg Schek: A Relational Object Model. ICDT 1990: 89-105
  47. Giorgio Ghelli: A Class Abstraction for a Hierarchical Type System. ICDT 1990: 56-71
  48. Gail M. Shaw, Stanley B. Zdonik: A Query Algebra for Object-Oriented Databases. ICDE 1990: 154-162
  49. Alexandra Poulovassilis, Peter J. H. King: Extending the Functional Data Model to Computational Completeness. EDBT 1990: 75-91
  50. Richard C. H. Connor, Alan Dearle, Ronald Morrison, Fred Brown: Existentially Quantified Typed as a Database Viewing Mechanism. EDBT 1990: 301-315
  51. Gilles Barbedette: LISPO2: a Persistent Object-Oriented Lisp. EDBT 1990: 332-347
  52. Grant E. Weddell: Selection of Indexes to Memory-Resident Entities for Semantic Data Models. IEEE Trans. Knowl. Data Eng. 1(2): 274-284(1989)
  53. Christophe Lécluse, Philippe Richard: The O2 Database Programming Language. VLDB 1989: 411-422
  54. I-Min A. Chen, Dennis McLeod: Derived Data Update in Semantic Databases. VLDB 1989: 225-235
  55. Atsushi Ohori, Peter Buneman, Val Tannen: Database Programming in Machiavelli - a Polymorphic Language with Static Type Inference. SIGMOD Conference 1989: 46-57
  56. Elliot K. Kolodner, Barbara Liskov, William E. Weihl: Atomic Garbage Collection: Managing a Stable Heap. SIGMOD Conference 1989: 15-25
  57. Rakesh Agrawal, Narain H. Gehani: ODE (Object Database and Environment): The Language and the Data Model. SIGMOD Conference 1989: 36-45
  58. Richard Hull, Jianwen Su: Untyped Sets, Invention, and Computable Queries. PODS 1989: 347-359
  59. Alexander Borgida: Type Systems for Querying Class Hierarchies with Non-strict Inheritance. PODS 1989: 394-400
  60. Andrea Bondavalli, Nicoletta De Francesco, Diego Latella, Gigliola Vaglini: Shared Abstract Data Types: An Algebraic Methodology for Their Specification. MFDBS 1989: 53-67
  61. Michel Pilote: Experience in Applying Conceptual Modeling to Interface with a Real-Life Business Application. ICDE 1989: 172-179
  62. Michael V. Mannino, Injun Choi, Don S. Batory: An Overview of the Object-Oriented Functional Data Language. ICDE 1989: 18-26
  63. Peri L. Tarr, Jack C. Wileden, Alexander L. Wolf: A Different Tack to Providing Persistence in a Language. DBPL 1989: 41-60
  64. Gail M. Shaw, Stanley B. Zdonik: An Object-Oriented Query Algebra. DBPL 1989: 103-112
  65. Richard Hull, Jianwen Su: On Bulk Data type Constructors and Manipulation Primitives: A Framework for Analyzing Power and Complexity. DBPL 1989: 396-410
  66. Peter A. Buhr, Glen Ditchfield, C. Robert Zarnke: Basic Abstractions for a Database Programming Language. DBPL 1989: 422-437
  67. Malcolm P. Atkinson: Questioning Persistent Types. DBPL 1989: 2-24
  68. Antonio Albano, Giorgio Ghelli, Renzo Orsini: Types for Databases: The Galileo Experience. DBPL 1989: 196-206
  69. Rakesh Agrawal, Narain H. Gehani: Rationale for the Design of Persistence and Query Processing Facilities in the Database Programming Language O++. DBPL 1989: 25-40
  70. Don S. Batory, T. Y. Leung, T. E. Wise: Implementation Concepts for an Extensible Data Model and Data Language. ACM Trans. Database Syst. 13(3): 231-262(1988)
  71. Volker Linnemann, Klaus Küspert, Peter Dadam, Peter Pistor, R. Erbe, Alfons Kemper, Norbert Südkamp, Georg Walch, Mechtild Wallrath: Design and Implementation of an Extensible Database Management System Supporting User Defined Data Types and Functions. VLDB 1988: 294-305
  72. Christophe Lécluse, Philippe Richard, Fernando Vélez: O2, an Object-Oriented Data Model. SIGMOD Conference 1988: 424-433
  73. François Bancilhon: Object-Oriented Database Systems. PODS 1988: 152-162
  74. Atsushi Ohori: Semantics of Types for Database Objects. ICDT 1988: 239-251
  75. Christophe Lécluse, Philippe Richard: Modeling Inheritance and Genericity in Object Oriented-Databases. ICDT 1988: 223-238
  76. Gunter Schlageter, Rainer Unland, Wolfgang Wilkes, Rainer Zieschang, G. Maul, Manfred Nagl, Renate Meyer: OOPS - An Object Oriented Programming System with Integrated Data Management Faciltity. ICDE 1988: 118-125
  77. Sonia Bergamaschi, Lorenzo Cavedoni, Claudio Sartori, Paolo Tiberio: On Taxonomic Reasoning in E/R Environment. ER 1988: 443-454
  78. Christophe Lécluse, Philippe Richard, Fernando Vélez: O2, an Object-Oriented Data Model. EDBT 1988: 556-562
  79. Lawrence Chung, Daniel Rios-Zertuche, Brian A. Nixon, John Mylopoulos: Process Management and Assertion Enforcement for a Semantic Data Model. EDBT 1988: 469-487
  80. Luca Cardelli: Types for Data-Oriented Languages. EDBT 1988: 1-15
  81. Antonio Albano, L. Alfò, S. Coluccini, Renzo Orsini: An Overview of Sidereus: A Graphical Database Schema Editor for Galileo. EDBT 1988: 567-571
  82. Richard Hull, Roger King: Semantic Database Modeling: Survey, Applications, and Research Issues. ACM Comput. Surv. 19(3): 201-260(1987)
  83. Malcolm P. Atkinson, Peter Buneman: Types and Persistence in Database Programming Languages. ACM Comput. Surv. 19(2): 105-190(1987)
  84. Maurizio Lenzerini, Paolo Nobili: On The Satisfiability of Dependency Constraints in Entity-Relationship Schemata. VLDB 1987: 147-154
  85. Joel E. Richardson, Michael J. Carey: Programming Constructs for Database System Implementation in EXODUS. SIGMOD Conference 1987: 208-219
  86. Brian A. Nixon, Lawrence Chung, David Lauzon, Alexander Borgida, John Mylopoulos, Martin Stanley: Implementation of a Compiler for a Semantic Data Model: Experiences with Taxis. SIGMOD Conference 1987: 118-131
  87. W. Bruce Croft, David W. Stemple: Supporting Offics Document Architectures with Constrained Types. SIGMOD Conference 1987: 504-509
  88. Susan Darling Urban, Lois M. L. Delcambre: Perspectives of a Semantic Schema. ICDE 1987: 485-492
  89. Volker Linnemann: Non First Normal Form Relations and Recursive Queries: An SQL-Based Approach. ICDE 1987: 591-598
  90. Stanley B. Zdonik: Object-Oriented Type Evolution. DBPL 1987: 277-288
  91. Brian A. Nixon, John Mylopoulos: Integration Issues in Implementing Semantic Data Models. DBPL 1987: 187-217
  92. Rishiyur S. Nikhil: The Semantics of Update in a Functional Database Programming Language. DBPL 1987: 403-421
  93. Maurizio Lenzerini: Class Hierarchies and Their Complexity. DBPL 1987: 43-65
  94. Christophe Lécluse, Philippe Richard, Fernando Vélez: O2, an Object-Oriented Data Model. DBPL 1987: 257-276
  95. Setrag Khoshafian, Patrick Valduriez: Sharing, Persistence, and Object-Orientation: A Database Perspective. DBPL 1987: 221-240
  96. Carlo Batini, Maurizio Lenzerini, Shamkant B. Navathe: A Comparative Analysis of Methodologies for Database Schema Integration. ACM Comput. Surv. 18(4): 323-364(1986)
  97. Peter Pistor, F. Andersen: Designing A Generalized NF2 Model with an SQL-Type Language Interface. VLDB 1986: 278-285
  98. Peter Klahold, Gunter Schlageter, Wolfgang Wilkes: A General Model for Version Management in Databases. VLDB 1986: 319-327
  99. Peter Buneman, Malcolm P. Atkinson: Inheritance and Persistence in Database Programming Languages. SIGMOD Conference 1986: 4-15
  100. Naftaly H. Minsky, David Rozenshtein, Jan Chomicki: A Controllable Prolog Database System. ICDE 1986: 618-628
  101. Alexander Borgida: Language Features for Flexible Handling of Exceptions in Information Systems. ACM Trans. Database Syst. 10(4): 565-603(1985)
  102. Matthias Jarke, Yannis Vassiliou: A Framework for Choosing a Database Query Language. ACM Comput. Surv. 17(3): 313-340(1985)
  103. Carlo Batini, Stefano Ceri: Database Design: Methodologies, Tools, and Environments (Panel). SIGMOD Conference 1985: 148-150
  104. Malcolm P. Atkinson, Peter Buneman, Ronald Morrison (Eds.): Data Types and Persistence. Edited Papers from the Proceedings of the First Workshop on Persistent Objects, Appin, Scotland, August 1985. Topics in Information Systems Springer 1988, ISBN 3-540-18785-5
    Contents
  105. Maurizio Lenzerini: SERM: Semantic Entity-Relationship Model. ER 1985: 270-278
BibTeX
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
TODS, ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Wed Jun 4 19:23:28 2008