|
Size: 321
Comment:
|
Size: 904
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 1: | Line 1: |
| SemiAlgebraicSets are geometric shapes (sets of points) constrained by a set of polynomial constraints. | "Several authors have suggested using first-order logic over the real numbers to describe spatial database applications. Geometric objects are then described by polynomial inequalities with integer coefficients involving the coordinates of the objects. '''Such geometric objects are called semi-algebraic sets.'''" (Ref: [https://www.scotnpatti.com/webfiles/PhDResearch/FirstOrderBooleanAlgebraWithCardinalityConstraints/p68-dumortier.pdf On the Decidability of Semi-Linearity for Semi-Algebraic Sets and its Implications for Spatial Databases]) |
| Line 3: | Line 3: |
| A bump could be defined as follows: | Thus SemiAlgebraicSets are geometric shapes (sets of points) constrained by a set of integer coefficient polynomial constraints. Example: A bump could be defined as follows: |
"Several authors have suggested using first-order logic over the real numbers to describe spatial database applications. Geometric objects are then described by polynomial inequalities with integer coefficients involving the coordinates of the objects. Such geometric objects are called semi-algebraic sets." (Ref: [https://www.scotnpatti.com/webfiles/PhDResearch/FirstOrderBooleanAlgebraWithCardinalityConstraints/p68-dumortier.pdf On the Decidability of Semi-Linearity for Semi-Algebraic Sets and its Implications for Spatial Databases])
Thus SemiAlgebraicSets are geometric shapes (sets of points) constrained by a set of integer coefficient polynomial constraints.
Example: A bump could be defined as follows:
bump(i,x,y) :- i=1, y+x^2-3<=0, y>=0.
Bumb would then be the set of points contained in the geometric shape below:
attachment:bump.gif
See Also SemiLinearSets