Formal methods for database language design and constraint handling

Title	Journal	Journal Categories	Citations	Publication Date
Title				1983
Title				1983
Title				1982
Title				1977
Programming by Refinement, as Exemplified by the SETL Representation Sublanguage	ACM Transactions on Programming Languages and Systems	Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware Science: Mathematics: Instruments and machines: Electronic computers. Computer science	36	1979

Abstract