The search experience using condition formulas based on the cellular model

Cyberworlds of intentional design, as well as those emerging spontaneously, are forming on the Web. A novel information model called the cellular model can model objects and their relations in Cyberworlds from general to specific based on the incrementally modular abstraction hierarchy. We have previously developed a processing system called the Cellular Data System (CDS) based on the model. This time we have designed and implemented the process for dividing spaces by creating condition formulas according to the set theoretical processing in the CDS. We currently take advantage of a useful search function called a condition formula search. Creating condition formulas essentially means that data operation requirements of users themselves can be included into a system as a space on the set theoretical level when employing CDS in business application development and also suggests the starting point of implementing the process graph theory, which makes linear business application system development possible, preventing combinatorial explosions.