Enhancing accuracy and expressive power of range query answers over incomplete spatial databases via a novel reasoning approach

2011 ◽  
Vol 70 (8) ◽  
pp. 702-716 ◽  
Author(s):  
Alfredo Cuzzocrea ◽  
Andrea Nucita
Keyword(s):  
Spatial Databases ◽  
Expressive Power ◽  
Range Query

scholarly journals Continuous Visible Query for Three-Dimensional Objects in Spatial Databases

2016 ◽  
Vol 2016 ◽  
pp. 1-12
Author(s):  
Yongshan Liu ◽  
Dehan Kong
Keyword(s):  
Spatial Databases ◽  
Dimensional Space ◽  
Spatial Database ◽  
Control Point ◽  
Three Dimensional ◽  
Range Query ◽  
Visible Range ◽  
Vertical Projection ◽  
Three Dimensional Objects ◽  
Projection Angle

Present research of visible query focuses on points and segments in two-dimensional space, while disfigurements occur during processing of visible query in three-dimensional space. In this paper, Continuous Visible Range Query Based on Control Point (CVRQ-CP) is proposed to solve the visible query in a 3D spatial database. Firstly, the horizontal angle (HA) and Vertical Projection Angle (VPA) for 3D objects in a spatial database were used in the visibility testing method. The HA and VPA in the processing of the continuous visible query created visibility changes, defining and confirming the control point. Finally, the algorithm of Continuous Visible Range Query Based on Control Point (CVRQ-CP) was proposed. Verified by experiments, the CVRQ-CP algorithm correctly deals with the visible query of 3D spatial objects. The CVRQ-CP algorithm has better superior accuracy over present visible queries in 3D spatial databases.

Spatial databases for the geology of the northern Rocky Mountains - Idaho, Montana, and Washington

2005 ◽  
Author(s):  
Michael L. Zientek ◽  
Pamela D. Derkey ◽  
Robert J. Miller ◽  
J. Douglas Causey ◽  
Arthur A. Bookstrom ◽  
...  
Keyword(s):  
Rocky Mountains ◽  
Spatial Databases ◽  
Northern Rocky Mountains

Recursive generation in language

2017 ◽  
Author(s):  
David J. Lobina
Keyword(s):  
Mathematical Logic ◽  
Production System ◽  
General Property ◽  
Recent Literature ◽  
Expressive Power ◽  
The Self ◽  
Recursive Structure ◽  
Embedded Structures ◽  
Mechanical Procedure ◽  
The 1950S

The introduction of recursion into linguistics was the result of applying some of the results of mathematical logic to the study of language. In particular, recursion was introduced in the 1950s as a general property of the mechanical procedure underlying the grammar, in order to account for language’s discrete infinity and expressive power—in the 1950s, this mechanical procedure was a production system, whereas more recently, of course, it is the set-operator merge. Unfortunately, the recent literature has confused the general recursive property of a grammar with specific instances of (recursive) rules/operations within a grammar; more worryingly still, there has been a general conflation of these recursive rules with some of the self-embedded structures these rules can generate, adding to the confusion. The conflation is manifold but always fallacious. Moreover, language manifests a much more generally recursive structure than is usually recognized: bundles of the universal (Specifier)-Head-Complement(s) geometry.

scholarly journals Probability logic: A model-theoretic perspective

2020 ◽  
Author(s):  
M Pourmahdian ◽  
R Zoghifard
Keyword(s):  
Characterization Theorem ◽  
Expressive Power ◽  
Probability Logic ◽  
Theoretic Analysis ◽  
Compactness Property ◽  
Probability Models ◽  
Finitely Additive Probability ◽  
Additive Probability ◽  
Basic Probability ◽  
Abstract Logics

Abstract This paper provides some model-theoretic analysis for probability (modal) logic ($PL$). It is known that this logic does not enjoy the compactness property. However, by passing into the sublogic of $PL$, namely basic probability logic ($BPL$), it is shown that this logic satisfies the compactness property. Furthermore, by drawing some special attention to some essential model-theoretic properties of $PL$, a version of Lindström characterization theorem is investigated. In fact, it is verified that probability logic has the maximal expressive power among those abstract logics extending $PL$ and satisfying both the filtration and disjoint unions properties. Finally, by alternating the semantics to the finitely additive probability models ($\mathcal{F}\mathcal{P}\mathcal{M}$) and introducing positive sublogic of $PL$ including $BPL$, it is proved that this sublogic possesses the compactness property with respect to $\mathcal{F}\mathcal{P}\mathcal{M}$.

Sign in / Sign up

Export Citation Format

Share Document