Yatin P. Saraiya

Learn More
A number of optimizations have been proposed for Datalog programs involving a single intensional predicate (&#8220;single-IDB programs&#8221;). Examples include the detection of <italic>commutativity</italic> and <italic>separability</italic> ([Naug88],[RSUV89], [Ioan89a]) in linear logic programs, and the detection of <italic>ZYT-linearizability</italic>(More)
  • 1