قواعد محرك للمنطق المكاني والزماني؟

Question

لديّ تطبيق يتلقى عددًا من القواعد التي تميز العمليات المكانية والزمنية ذات الأبعاد الأبعاد. يقوم بعد ذلك بتصفية هذه القواعد وإنشاء إجراءات يتم إرسالها بعد ذلك إلى العمليات التي تنفذ الإجراءات. اشطف و كرر.

في الوقت الحاضر ، لدي مجموعة من المرشحات المخصصة التي تؤدي الكثير من الحسابات المكانية/الزمنية المعقدة.

في كثير من الأحيان أثناء مناقشة نظامي للأفراد في شركتي ، يسألون عما إذا كنت أستخدم محرك قواعد.

لا يزال يتعين عليّ العثور على محرك قواعد قادر على التفكير بشكل جيد ومكاني. (أشياء مثل: متى يتم إغلاق كيانين ثلاثي الأبعاد من أي وقت مضى؟ هل الكيان ثلاثي الأبعاد A على الإطلاق في المنطقة ثلاثية الأبعاد B؟ إذا كان الكيان C بالقرب من الكيان D ولكنه موجه للخلف بالنسبة إلى C ثم إجراء إجراء D.)

لقد نظرت إلى سال لعابه ، سيك ، جيس في الماضي (على سبيل المثال قبل 3-4 سنوات). لقد حان الوقت لإعادة فحص الحالة الفنية. أي اقتراحات؟ أي معايير تعرفها عن هذا الدعم هذا النوع من التفكير؟ أي معايير defacto؟ أي تطبيقات؟

شكرًا!

Answer 1

فرضية - تذكر أن SQL تستند إلى SQL¹ DBMS هو محرك استدلال (قادر تمامًا) ، كما يتضح من هذه المقارنات بين SQL و Prolog:

• مقدمة إلى محول SQL
• الفرق بين SQL و Prolog

لمعالجة تطبيقاتك المكانية والزمنية على وجه التحديد ، سيساعد هذا الكتاب:

• البيانات الزمنية والنموذج العلائقي - تحقيق مفصل في تطبيق نظرية الفاصل الزمني ونظرية العلاقة لمشكلة إدارة قاعدة البيانات الزمنية.

وهذا يعني أن الجمع بين الفاصل الزمني ونظرية العلاقة ممكن للتفكير حول المشكلات المكانية والزمانية بشكل فعال (انظر 5.2 تطبيقات الفواصل الزمنية).

بالطبع ، إذا لم تكن DBMs المستندة إلى SQL (بعد) مزودة بمشغلين فاصل (وغيرها) ، فستحتاج إلى تمديدها بشكل مناسب (عبر عمليات التخزين و/أو الوظائف المعرفة من قبل المستخدم-UDFs).

تحديث: أشار القشط إلى الورقة في تعليقات Timemirror (نحو لغة استعلام مكانية ثلاثية الأبعاد لبناء نماذج المعلومات) يفعلون بشكل أساسي ما لم أتطرق إليه أعلاه:

(آخر صفحة)

مفاهيم التنفيذ

سيتم تنفيذ تنفيذ نظام النوع التجريدي في لغة الاستعلام على أساس لغة الاستعلام SQL ، وهو معيار ثابت على نطاق واسع في مجال قواعد بيانات الكائنات العليا. يقوم المعيار الدولي SQL: 1999 بتوسيع النموذج العلائقي ليشمل الجوانب الموجهة للكائنات ، مثل إمكانية تحديد أنواع البيانات المجردة المعقدة مع طرق متكاملة.

لا أتفق مع مصطلحات "قاعدة بيانات الكائنات" (لسبب خارج الموضوع هنا) ، لكنني أعتقد أن الباقي وثيق الصلة.

تحديث: اقتباس من احترام 3D ونظرية الفاصل الزمني من الكتاب المذكور أعلاه:

ملاحظة: يمكن اعتبار جميع الفواصل الزمنية التي تمت مناقشتها حتى الآن على أنها أحادية البعد. ومع ذلك ، قد نرغب في الجمع بين فترتين أحادي الأبعاد لتشكيل فاصل زمني أبعاد. على سبيل المثال ، يمكن اعتبار مؤامرة مستطيلة من الأرض كفاصل زمني ثنائي الأبعاد ، لأنه ، بحكم تعريفه ، كائن ذو طول وعرض ، كل منها هو في الأساس فاصل أحادي البعد يقاس على طول بعض المحور. وبالطبع، يمكننا تمديد هذه الفكرة إلى أي عدد من الأبعاد. على سبيل المثال ، يمكن اعتبار المبنى (بسيطًا إلى حد ما!) فاصلًا ثلاثي الأبعاد: إنه كائن ذو طول ، عرض ، وارتفاع ، أو بعبارة أخرى مكعبة. (بشكل أكثر واقعية ، قد يعتبر المبنى مجموعة من العديد من هذه المكعبات التي تتداخل بطرق مختلفة.) وما إلى ذلك. ومع ذلك ، في ما يلي ، سنقوم بتقييد انتباهنا على فترات أحادية البعد على وجه التحديد ، باستثناء التصريحات الصريحة على عكس ذلك ، وسنلقي على التصفيات "أحادية البعد" للبساطة.

ملحوظة

1. كتبت SQL على أساس و لا العلائقية نظرًا لوجود طرق لاستخدام مثل هذه DBMSes تنحرف تمامًا عن النظرية العلائقية.

Answer 2

هذا هو التفكير المكاني ... بعض النماذج ولكن 9DE-IM مقبولة الآن من قبل OGC وتنفيذها في PostGIS وأدوات البرمجة الأخرى.

تنفذ PostGIS محرك التفكير المكاني يعتمد على نموذج التقاطع الممتد الأبعاد 9 ... 9DE-IM ..

http://postgis.refractions.net/documentation/manual-svn/ch04.html#de-9im تحقق من الطائفة 4.3.6.1. نظرية...

---

وكذلك الحال بالنسبة لجنة طوبولوجيا Java (وجناح طوبولوجيا صافي لـ C# إلخ) ...

http://docs.codehaus.org/display/geotdoc/point+set+theory+and+the+de-9im+matrix

في particualr تحقق من الاشياء geometry.relate .. مثل

Boolean Isreled = Geometry.Relate (Geometry2 ، "t*t *** t **")

يمكنك اختبار العلاقات ، أو تصفية البيانات بناءً عليها. يعمل مع PTS والخطوط والمضلعات وما إلى ذلك ...

---

قد يساعد هذا في الأشياء الزمنية ..

http://citeseerx.ist.psu.edu/viewdoc/download؟doi=10.1.1.87.4643&rep=rep1&type=pdf

Answer 3

تحقق من spatialRules في http://www.objectfx.com/. إنه معالج أحداث معقد جغرافي مكاني لـ 2D و 3D.