An introduction to database systems: vol. I (4th ed.)
An introduction to database systems: vol. I (4th ed.)
Pascal user manual and report; 3rd ed.
Pascal user manual and report; 3rd ed.
System R: relational approach to database management
ACM Transactions on Database Systems (TODS)
An authorization mechanism for a relational database system
ACM Transactions on Database Systems (TODS)
Differential files: their application to the maintenance of large databases
ACM Transactions on Database Systems (TODS)
Some high level language constructs for data of type relation
ACM Transactions on Database Systems (TODS)
High level programming for distributed computing
Communications of the ACM
The notions of consistency and predicate locks in a database system
Communications of the ACM
A relational model of data for large shared data banks
Communications of the ACM
An ALGOL-based associative language
Communications of the ACM
Data types as values: polymorphism, type-checking, encapsulation
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Flow Analysis of Computer Programs
Flow Analysis of Computer Programs
Universality of data retrieval languages
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The Design of an Optimizing Compiler
The Design of an Optimizing Compiler
High level operations in automatic programming
Proceedings of the ACM SIGPLAN symposium on Very high level languages
SAIL
Report on the programming language Euclid
ACM SIGPLAN Notices
Computation: finite and infinite machines
Computation: finite and infinite machines
The SNOBOL 4 programming language
The SNOBOL 4 programming language
LISP 1.5 Programmer's Manual
Simula Begin
Structured programming
GALILEO: a strongly-typed, interactive conceptual language
ACM Transactions on Database Systems (TODS)
Programming constructs for database system implementation in EXODUS
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Types and persistence in database programming languages
ACM Computing Surveys (CSUR)
An Entity-Relationship Programming Language
IEEE Transactions on Software Engineering
A software tool for modular database design
ACM Transactions on Database Systems (TODS)
The architecture of the EXODUS extensible DBMS
OODS '86 Proceedings on the 1986 international workshop on Object-oriented database systems
High-level programming features for improving the efficiency of a relational database system
ACM Transactions on Database Systems (TODS)
EAS-E: an integrated approach to application development
ACM Transactions on Database Systems (TODS)
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
Implementing SMART for minicomputers via relational processing With abstract data types
SIGSMALL '81 Proceedings of the 1981 ACM SIGSMALL symposium on Small systems and SIGMOD workshop on Small database systems
Abstraction mechanisms for database programming
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
Type hierarchies and Semantic Data Models
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
Application generators: Ideas for programming language extensions
ACM '84 Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge
A prototype DBMS with a Turkish query Language
ACM '82 Proceedings of the ACM '82 conference
A familial specification language for database application systems
Computer Languages
| Hi-index | 0.03 |
Theseus, a very high-level programming language extending EUCLID, is described. Data objects in Theseus include relations and a-sets, a generalization of records. The primary design goals of Theseus are to facilitate the writing of well-structured programs for database applications and to serve as a vehicle for research in automatic program optimization.