A Proof of the Determinacy Property of the Data Flow Schema.

Nam Sung Woo Carl H. Smith Ashok K. Agrawala

Published in: Inf. Process. Lett. (1984)

Keyphrases

data flow
database machine
control flow
databases
digital signal processing
object oriented software
data transfer
xml schema
data model
bottle neck
theorem prover
xml data
database
database schema
systolic array
management system
query rewriting