Building a Framework of Rough Inclusion Functions by Means of Computerized Proof Assistant.

Published in: IJCRS (2019)

Keyphrases

main contribution
theoretical framework
relational databases
rough sets
lightweight
databases
search engine
clustering algorithm
computer aided
key features