Recursive Assertions are not enough - or are they?

Krzysztof R. Apt Jan A. Bergstra Lambert G. L. T. Meertens

Published in: Theor. Comput. Sci. (1979)

Keyphrases

knowledge base
recursive algorithm
cooperative
query processing
real time
databases
real world
query language
recursive queries