A semantics of multiple inheritance.
Proc. of the international symposium on Semantics of data types
The functional data model and the data languages DAPLEX
ACM Transactions on Database Systems (TODS)
Database description with SDM: a semantic database model
ACM Transactions on Database Systems (TODS)
Limitations of record-based information models
ACM Transactions on Database Systems (TODS)
Theseus—a programming language for relational databeses
ACM Transactions on Database Systems (TODS)
A language facility for designing database-intensive applications
ACM Transactions on Database Systems (TODS)
Database abstractions: aggregation and generalization
ACM Transactions on Database Systems (TODS)
Methodology and Tools for Data Design
Methodology and Tools for Data Design
Principles of Programming Languages
Principles of Programming Languages
The Denotational Description of Programming Languages: An Introduction
The Denotational Description of Programming Languages: An Introduction
FQL: a functional query language
SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
The data management facilities of PLAIN
SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
Data abstraction, views and updates in RIGEL
SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
DIAL: a programming language for data intensive applications
SIGMOD '80 Proceedings of the 1980 ACM SIGMOD international conference on Management of data
A Modularization Mechanism for Conceptual Modeling
VLDB '83 Proceedings of the 9th International Conference on Very Large Data Bases
An Integrated Approach to Database Design
Proceedings of the NYU Symposium on Data Base Design Techniques I: Requirements and Logical Structures
An Implementation Methodology for Semantic Data Base Models
Proceedings of the 1st International Conference on the Entity-Relationship Approach to Systems Analysis and Design
Type hierarchies and Semantic Data Models
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
An interactive integrated system to design and use data bases
Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling
Language features for flexible handling of exceptions in information systems
ACM Transactions on Database Systems (TODS)
A framework for choosing a database query language
ACM Computing Surveys (CSUR)
On understanding types, data abstraction, and polymorphism
ACM Computing Surveys (CSUR) - The MIT Press scientific computation series
Notes on conceptual representations
ISMIS '86 Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems
Inheritance and persistence in database programming languages
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
A comparative analysis of methodologies for database schema integration
ACM Computing Surveys (CSUR)
Development of an object-oriented DBMS
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Implementation of a compiler for a semantic data model: Experiences with taxis
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Programming constructs for database system implementation in EXODUS
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Supporting office document architectures with constrained types
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Issues in the design of object-oriented database programming languages
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
Implementation concepts for an extensible data model and data language
ACM Transactions on Database Systems (TODS)
Types and persistence in database programming languages
ACM Computing Surveys (CSUR)
Semantic database modeling: survey, applications, and research issues
ACM Computing Surveys (CSUR)
Supporting OIS design through semantic queries
COCS '88 Proceedings of the ACM SIGOIS and IEEECS TC-OA 1988 conference on Office information systems
O2, an object-oriented data model
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
C3P Proceedings of the third conference on Hypercube concurrent computers and applications - Volume 2
A Generalized Expert System for Database Design
IEEE Transactions on Software Engineering
Using a relational system on Wall Street: the good, the bad, the ugly, and the ideal
Communications of the ACM
Atomic garbage collection: managing a stable heap
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
ODE (Object Database and Environment): the language and the data model
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Database programming in Machiavelli—a polymorphic language with static type inference
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Untyped sets, invention, and computable queries
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Type systems for querying class hierarchies with non-strict inheritance
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
OROS: toward a type model for software development environments
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
Static type inference for parametric classes
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
The 3DIS: an extensible object-oriented information management environment
ACM Transactions on Information Systems (TOIS)
Derived data update in semantic databases
VLDB '89 Proceedings of the 15th international conference on Very large data bases
The O2 database programming language
VLDB '89 Proceedings of the 15th international conference on Very large data bases
Two-directional record layout for multiple inheritance
PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
The Object-Oriented Functional Data Language
IEEE Transactions on Software Engineering
Queries and query processing in object-oriented database systems
ACM Transactions on Information Systems (TOIS)
A software tool for modular database design
ACM Transactions on Database Systems (TODS)
K: a high-level knowledge base programming language for advanced database applications
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
An ad hoc approach to the implementation of polymorphism
ACM Transactions on Programming Languages and Systems (TOPLAS)
New hope on data models and types: report of an NSF-INRIA workshop
ACM SIGMOD Record - Directions for future database research & development
On taxonomic reasoning in conceptual design
ACM Transactions on Database Systems (TODS)
Pattern matching by Rs-operations: towards a unified approach to querying sequenced data
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
PLEIADES: an object management system for software engineering environments
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Atomic incremental garbage collection and recovery for a large stable heap
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
The design of the E programming language
ACM Transactions on Programming Languages and Systems (TOPLAS)
A polymorphic calculus for views and object sharing (extended abstract)
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Orthogonal persistence and Ada
TRI-Ada '94 Proceedings of the conference on TRI-Ada '94
Sequences, Datalog and transducers
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Polymorphism and type inference in database programming
ACM Transactions on Database Systems (TODS)
ICSE '91 Proceedings of the 13th international conference on Software engineering
An efficient method for checking object-oriented database schema correctness
ACM Transactions on Database Systems (TODS)
Object-oriented database systems
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Deductive database languages: problems and solutions
ACM Computing Surveys (CSUR)
A strongly typed, interactive object-oriented database programming language
OODS '86 Proceedings on the 1986 international workshop on Object-oriented database systems
Database design: methodologies, tools, and environments (panel session)
SIGMOD '85 Proceedings of the 1985 ACM SIGMOD international conference on Management of data
Exceptions in object-oriented languages
OOPWORK '86 Proceedings of the 1986 SIGPLAN workshop on Object-oriented programming
Using persistence technology to control schema evolution
SAC '94 Proceedings of the 1994 ACM symposium on Applied computing
Automation and Remote Control
On type systems for object-oriented database programming languages
ACM Computing Surveys (CSUR)
Orthogonally persistent object systems
The VLDB Journal — The International Journal on Very Large Data Bases - Persistent object systems
Selection of Indexes to Memory-Resident Entities for Semantic Data
IEEE Transactions on Knowledge and Data Engineering
A FAD for Data Intensive Applications
IEEE Transactions on Knowledge and Data Engineering
Object-Oriented Query Languages: The Notion and the Issues
IEEE Transactions on Knowledge and Data Engineering
Query Optimization and Execution Plan Generation in Object-Oriented Data Management Systems
IEEE Transactions on Knowledge and Data Engineering
View Operations on Objects with Roles for a Statically Typed Database Language
IEEE Transactions on Knowledge and Data Engineering
The persistent workshop - a programming environment for Napier88
Nordic Journal of Computing
A General Model for Version Management in Databases
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
Designing A Generalized NF2 Model with an SQL-Type Language Interface
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
On The Satisfiability of Dependency Constraints in Entity-Relationship Schemata
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
A Relationship Mechanism for a Strongly Typed Object-Oriented Database Programming Language
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
A Functional Programming Approach to Deductive Databases
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Supporting Lists in a Data Model (A Timely Approach)
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
An Object Data Model with Roles
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
A Domain-theoretic Approach to Integrating Functional and Logic Database Languages
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
Data Sharing Analysis for a Database Programming Lanaguage via Abstract Interpretation
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
Conformance, Genericity, Inheritance and Enhancement
ECOOP '87 Proceedings of the European Conference on Object-Oriented Programming
Name Collision in Multiple Classification Hierarchies
ECOOP '88 Proceedings of the European Conference on Object-Oriented Programming
Typed Sets as a Basis for Object-Oriented Database Schemas
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
The NODS Project: Networked Open Database Services
Proceedings of the International Symposium on Objects and Databases
Computer Aided Systems Theory - EUROCAST 2001-Revised Papers
Hyper-Code Revisited: Unifying Program Source, Executable, and Data
POS-9 Revised Papers from the 9th International Workshop on Persistent Object Systems
The design and implementation of K: a high-level knowledge-base programming language of OSAM*.KBMS
The VLDB Journal — The International Journal on Very Large Data Bases
Subtyping, recursion, and parametric polymorphism in kernel fun
Information and Computation
Alchemy: transmuting base alloy specifications into implementations
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Subtyping recursion and parametric polymorphism in kernel fun
Information and Computation
Evolving persistent applications on commercial platforms
ADBIS'97 Proceedings of the First East-European conference on Advances in Databases and Information systems
Hi-index | 0.02 |
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.