( en | de | ru )

 

Disambiguation of "Stemple, David W."

Author of the publication

copydeleteadd this publication to your clipboard
Coping with Complexity in Automated Reasoning about Database Systems.

, and . VLDB, page 426-435. Morgan Kaufmann, (1985)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Carl W David

David W Pao

David W Kuck

Wahyudi David

Florian Bodo David

 

Other publications of authors with the same name

Current Directions in Database Programming Languages., , and . IEEE Data Eng. Bull., 12 (3): 3-4 (1989)Formalizing Objects for Databases using ADABTPL., , and . OODBS, volume 334 of Lecture Notes in Computer Science, page 110-128. Springer, (1988)Recoverable Actions in Gutenberg., , and . ICDCS, page 242-249. IEEE Computer Society, (1986)Privilege Transfer and Revocation in a Port-Based System., , , and . IEEE Trans. Software Eng., 12 (5): 635-648 (1986)Summary of Database Research Activities at The University of Massachusetts, Amherst., , , , , and . SIGMOD Rec., 21 (1): 139-143 (1992)The Expressiveness of a Family of Finite Set Languages., , and . Theor. Comput. Sci., 155 (1): 111-140 (1996)Protection in Persistent Object Systems., , , , , , , and . Security and Persistence, page 48-66. Springer, (1990)Uniform Traversal Combinators: Definition, Use and Properties., , and . CADE, volume 607 of Lecture Notes in Computer Science, page 148-162. Springer, (1992)Helping the Database Designer Maintain Inegrity Constraints., and . IEEE Data Eng. Bull., 17 (2): 28-32 (1994)On the Development of Data Base Editions., and . IFIP Working Conference Data Base Management, page 295-304. North-Holland, (1974)