Author of the publication

Behavior of Database Production Rules: Termination, Confluence, and Observable Determinism.

, , and . SIGMOD Conference, page 59-68. ACM Press, (1992)SIGMOD Record 21(2), June 1992.

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.

 

Other publications of authors with the same name

Type Systems for Distributed Data Structures., and . POPL, page 199-213. ACM, (2000)Optimal Representations of Polymorphic Types with Subtyping (Extended Abstract)., , and . TACS, volume 1281 of Lecture Notes in Computer Science, page 47-76. Springer, (1997)Directional Type Checking of Logic Programs, and . SAS, volume 864 of Lecture Notes in Computer Science, page 43-60. Springer, (1994)Fine-grain compilation for pipelined machines., , and . J. Supercomput., 2 (3): 279-295 (1988)DataSplash: A Direct Manipulation Environment for Programming Semantic Zoom Visualizations of Tabular Data., , , , , , , and . J. Vis. Lang. Comput., 12 (5): 551-571 (2001)A Theory of Type Qualifiers, , and . ACM SIGPLAN Conference on Programming Language and Design, Atlanta, GA, (May 1999)Resource-Constrained Software Pipelining., , and . IEEE Trans. Parallel Distributed Syst., 6 (12): 1248-1270 (1995)Decidability of Systems of Set Constraints with Negative Constraints, , and . Inf. Comput., 122 (1): 30-44 (October 1995)Scalable statistical bug isolation., , , , and . PLDI, page 15-26. ACM, (2005)Partial Online Cycle Elimination in Inclusion Constraint Graphs., , , and . PLDI, page 85-96. ACM, (1998)