In this paper, we study methods for indexing and clustering large Horn-clause value based on deductive databases. An indexing method based on Dewey's decimal coding technique is presented. The combination of rule set name and rule coding number allo...
In this paper, we study methods for indexing and clustering large Horn-clause value based on deductive databases. An indexing method based on Dewey's decimal coding technique is presented. The combination of rule set name and rule coding number allows record level locking protocol in the inter-rule relationship hierarchical tree for a rule set. And also, this approach includes efficient rule accesses, rule table management, concurrency control using shared lock, exclusive lock, and shared rule, recursive rule management.