Predicate Transformers as Homomorphisms on Scott's Information Systems.

Roger L. Norton

Published in: ACM Conference on Computer Science (1989)

Keyphrases

information systems
information technology
graph theory
finite state automata
distributed information systems
digital libraries
computer systems
health care
special case
support systems
information security
business processes
database
clustering algorithm
decision making
databases
data sets