What’s NEW – Page 264 – SIGMOD Record

A transaction logic for database specification

Xiaolei Qian, Richard Waldinger

Available in: PDF

Published in June 1988 (Vol.17 No.3)

Resolving the tension between integrity and security using a theorem prover

Subhasish Mazumdar, David Stemple, Tim Sheard

Available in: PDF

Published in June 1988 (Vol.17 No.3)

The powerset algebra as a result of adding programming constructs to the nested relational algebra

Marc Gyssens, Dirk van Gucht

Available in: PDF

Published in June 1988 (Vol.17 No.3)

A polynomial time algorithm for testing implications of a join dependency and embodied functional dependencies

J. Leuchner, L. Miller, G. Slutzki

Available in: PDF

Published in June 1988 (Vol.17 No.3)

A characterization of constant-time maintainability for BCNF database schemes

Héctor J. Hernández, Edward P. F. Chan

Available in: PDF

Published in June 1988 (Vol.17 No.3)

A relational database design in support of standard medical terminology in multi-domain knowledge bases

Frank Naeymi-Rad, Lowell Carmony, David Trace, Christine Georgakis, Max Harry Weil

Available in: PDF

Published in June 1988 (Vol.17 No.3)

A design data manager

Kari Alho, Hannu Peltonen, Martti Mäntylä, Rejio Sulonen

Available in: PDF

Published in June 1988 (Vol.17 No.3)

Data management of telecommunications networks

Kiyoshi Ono, Mikio Aoyama, Hiroshi Fujimoto

Available in: PDF

Published in June 1988 (Vol.17 No.3)

Data modeling in DELAB

Yannis E. Ioannidis, Miron Livny

Available in: PDF

Published in June 1988 (Vol.17 No.3)

Hashing practice: analysis of hashing and universal hashing

M. V. Ramakrishna

Available in: PDF

Published in June 1988 (Vol.17 No.3)