The application of data types to database semantic integrity

Lecture Notes in Computer Science 1205

1999 • 38,790 citations

A relational model of data for large shared data banks

1970 • 4,964 citations

A relational model of data for large shared data banks

1983 • 4,949 citations

An Introduction to Mathematical Logic

2005 • 1,818 citations

Extending the database relational model to capture more meaning

1979 • 1,567 citations

Database abstractions

1977 • 1,409 citations

Abstraction mechanisms in CLU

1977 • 774 citations

A language facility for designing database-intensive applications

1980 • 487 citations

An axiomatic definition of the programming language PASCAL

1973 • 454 citations

Report on the programming language Euclid

1977 • 388 citations

Some high level language constructs for data of type relation

1977 • 346 citations

The specification and application to programming of abstract data types.

1975 • 333 citations

Introduction to mathematical logic

1964 • 217 citations

Limitations of record-based information models

1979 • 212 citations

Notes on Data Structuring

1972 • 189 citations

The role concept in data models

1977 • 161 citations

Consistent and complementary formal theories of the semantics of programming languages

1974 • 150 citations

Types are not sets

1973 • 145 citations

Improving the human factors aspect of database interactions

1978 • 127 citations

Proof rules for the programming language Euclid

1978 • 120 citations

Databases, improving usability and responsiveness

1978 • 97 citations

The treatment of data types in EL1

1974 • 86 citations

A language facility for designing interactive database-intensive applications

1978 • 78 citations

Notes on the design of Euclid

1977 • 75 citations

Programming languages and databases

1978 • 52 citations

The data management facilities of PLAIN

1979 • 52 citations

An axiomatic definition of the programming language PASCAL

1974 • 49 citations

Data abstractions for database systems

1979 • 49 citations

Data reliability

1975 • 44 citations

LSL

1976 • 39 citations

Specification and verification of data base semantic integrity.

1978 • 29 citations

Type Concepts for Database Definition.

1978 • 25 citations

Notes on the design of Euclid

1977 • 23 citations

Axiomatic definitions for data model semantics

1982 • 16 citations

Mapping external views to a common data model

1978 • 15 citations

What is the use of abstract data types

1978 • 8 citations

Programming languages for relational database systems.

1978 • 5 citations

Proof rules for the programming language Euclid

1979 • 3 citations

Data Abstracting, Databases, and Conceptual Modelling: An Annotated Bibliography | NIST

1980 • 2 citations