Program Schemas with Equality

Ashok K. Chandra Zohar Manna

Published in: STOC (1972)

Keyphrases

computer programs
databases
database
programming environment
data sets
real world
information retrieval
multiscale
data sources
data integration