A characterization of first-order topological properties of planar spatial data
نویسندگان
چکیده
منابع مشابه
On Capturing First-Order Topological Properties of Planar Spatial Databases
Spatial databases are modeled as closed semi-algebraic subsets of the real plane. First-order logic over the reals (expanded with a symbol to address the database) provides a natural language for expressing properties of such databases. Motivated by applications in geographical information systems, this paper investigates the question of which topological properties can be thus expressed. We in...
متن کاملOn Capturing Rst-order Topological Properties of Planar Spatial Databases (extended Abstract)
Spatial databases are modeled as closed semi algebraic sub sets of the real plane First order logic over the reals expanded with a symbol to address the database provides a natural language for ex pressing properties of such databases Motivated by applications in ge ographical information systems this paper investigates the question of which topological properties can be thus expressed We intro...
متن کاملTopological Canonization of Planar Spatial Data and Its Incremental Maintenance
It is known that to a planar spatial database represented by a semi algebraic set in the plane one can associate a structure here called the topological canonization such that two databases are topologically equivalent if and only if their topological canonizations are isomorphic The advantage of a topological canonization is that it contains precisely the information one needs if one is only i...
متن کاملFirst-Order Logic Characterization of Program Properties
A program is rst-order reducible (FO-reducible) with respect to (wrt) a set of integrity constraints if there exists a rst-order theory T such that the set of models for T is exactly the set of intended models for the program wrt all possible EDB's. In this case, we say that P is FO-reducible to T wrt IC. For FO-reducible programs, it is possible to characterize, using rst-order logic implicati...
متن کاملcontrol of the optical properties of nanoparticles by laser fields
در این پایان نامه، درهمتنیدگی بین یک سیستم نقطه کوانتومی دوگانه(مولکول نقطه کوانتومی) و میدان مورد مطالعه قرار گرفته است. از آنتروپی ون نیومن به عنوان ابزاری برای بررسی درهمتنیدگی بین اتم و میدان استفاده شده و تاثیر پارامترهای مختلف، نظیر تونل زنی(که توسط تغییر ولتاژ ایجاد می شود)، شدت میدان و نسبت دو گسیل خودبخودی بر رفتار درجه درهمتنیدگی سیستم بررسی شده اشت.با تغییر هر یک از این پارامترها، در...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the ACM
سال: 2006
ISSN: 0004-5411,1557-735X
DOI: 10.1145/1131342.1131346