Support for repetitive transactions and ad hoc queries in System R
ACM Transactions on Database Systems (TODS)
The functional data model and the data languages DAPLEX
ACM Transactions on Database Systems (TODS)
Extending the database relational model to capture more meaning
ACM Transactions on Database Systems (TODS)
Retrospection on a database system
ACM Transactions on Database Systems (TODS)
System R: relational approach to database management
ACM Transactions on Database Systems (TODS)
Database abstractions: aggregation and generalization
ACM Transactions on Database Systems (TODS)
Some high level language constructs for data of type relation
ACM Transactions on Database Systems (TODS)
Evolution of Data-Base Management Systems
ACM Computing Surveys (CSUR)
Relational Data-Base Management Systems
ACM Computing Surveys (CSUR)
ACM Computing Surveys (CSUR)
A relational model of data for large shared data banks
Communications of the ACM
Toward an understanding of data structures
Communications of the ACM
Implementation of integrity constraints and views by query modification
SIGMOD '75 Proceedings of the 1975 ACM SIGMOD international conference on Management of data
An algebra of relations for machine computation
POPL '75 Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages
An Introduction to Database Systems
An Introduction to Database Systems
The Denotational Description of Programming Languages: An Introduction
The Denotational Description of Programming Languages: An Introduction
Complementary Definitions of Programming Language Semantics
Complementary Definitions of Programming Language Semantics
Logic and Data Bases
FQL: a functional query language
SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
The Vienna Development Method: The Meta-Language
The Vienna Development Method: The Meta-Language
User Extensions to the Peterlee Relational Test Vehicle
Systems for Large Data Bases
A Neighbor Connected Processor Network for Performing Relational Algebra Operations
CAW '80 The Papers of the Fifth Workshop on Computer Architecture for Non-Numeric Processing
Formalization of Data Base Models
Proceedings of the Abstract Software Specifications, 1979 Copenhagen Winter School
Data models in database management
Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling
Associating types with domains of relational data bases
Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling
A relational storage scheme suitable for derived views
ACM '78 Proceedings of the 1978 annual conference - Volume 2
Programming Language Semantics Using Extensional $\lambda$-Calculus Models
Programming Language Semantics Using Extensional $\'lambda$-Calculus Models
ACM SIGMOD Record
INGRES: a relational data base system
AFIPS '75 Proceedings of the May 19-22, 1975, national computer conference and exposition
A framework for choosing a database query language
ACM Computing Surveys (CSUR)
Heterogeneous Data Translations Based on Environment Grammars
IEEE Transactions on Software Engineering
Choosing a View Update Translator by Dialog at View Definition Time
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
Formalization of Database Systems - and a Formal Definition of IMS (Invited Paper)
VLDB '82 Proceedings of the 8th International Conference on Very Large Data Bases
Action and transaction skeletons:: High level language constructs for database transactions
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
Comparison of four relational data model specifications
ACM SIGMOD Record
An informal approach to formal specifications
ACM SIGMOD Record
A straightforward formalization of the relational model
ACM SIGMOD Record
An informal approach to formal specifications
ACM SIGMOD Record
On metadata context in Database Forensics
Digital Investigation: The International Journal of Digital Forensics & Incident Response
Defining the paperless workplace with the paper metaphor: not a contradiction in terms
HIKM '11 Proceedings of the Fourth Australasian Workshop on Health Informatics and Knowledge Management - Volume 120
Hi-index | 0.00 |