On the Decidability of Infix Inclusion Problem.

Hyunjoon Cheon Joonghyuk Hahn Yo-Sub Han

Published in: DLT (2022)

Keyphrases

description logics
query answering
machine learning
three dimensional
type checking
database
data mining
artificial intelligence
knowledge base
case study
relational databases
decision procedures