The 'Long Rule' in the Lambek Calculus with Iteration: Undecidability without Meets and Joins.

Stepan L. Kuznetsov

Published in: AiML (2020)

Keyphrases

query optimization
rule sets
active databases
description logics
rule learning
join algorithms
database
query evaluation
number restrictions
computer algebra
iterative process
sql queries
classification rules
rough sets
association rules
decision trees
data mining