Enriching the Expressive Power of Security Labels.

Li Gong Xiaolei Qian

Published in: IEEE Trans. Knowl. Data Eng. (1995)

Keyphrases

expressive power
data complexity
first order logic
transitive closure
query language
relational algebra
computational properties
pattern queries
recursive queries
constraint query languages
relational calculus
relational query languages