22nd International Conference on Advanced Information Networking and Applications (aina 2008)
Hybrid Logics and Model Checking: A Recipe for Query Processing in Location-Aware Environments
March 25-March 28
ISBN: 978-0-7695-3095-6
We introduce a novel approach to handle location-dependent query processing in location-aware environments. We define a hybrid logic-based query language by building a semantic model that benefits from the well-founded model checking techniques. Our language is defined by four modal operators; it can express common location-dependent queries, and has the ability to deal with relative locations. A prototype implementation of the query engine is also presented and will be discussed.
Citation:
Christian Hoareau, Ichiro Satoh, "Hybrid Logics and Model Checking: A Recipe for Query Processing in Location-Aware Environments," aina, pp.130-137, 22nd International Conference on Advanced Information Networking and Applications (aina 2008), 2008