استعلام منطقي اقتراني

في نظرية قواعد البيانات العلائقية ، يُعد الاستعلام المنطقي الاقتراني استعلامًا اقترانيًا بدون مسندات مميزة، أي استعلامًا على شكل${\displaystyle R_{1}(t_{1})\wedge \cdots \wedge R_{n}(t_{n})}$حيث كل${\displaystyle R_{i}}$هو رمز علاقة وكل${\displaystyle t_{i}}$هو عبارة عن مجموعة من المتغيرات والثوابت؛ عدد العناصر في${\displaystyle t_{i}}$يساوي عدد عناصر${\displaystyle R_{i}}$. يتم تقييم مثل هذا الاستعلام إما إلى صحيح أو خطأ اعتمادًا على ما إذا كانت العلاقات في قاعدة البيانات تحتوي على صفوف القيم المناسبة، أي أن الربط صحيح وفقًا للحقائق الموجودة في قاعدة البيانات.

على سبيل المثال، إذا كان مخطط قاعدة البيانات يحتوي على رموز العلاقة Father (ثنائي، من هو والد من) و Employed (أحادي، من هو موظف)، فيمكن أن يكون الاستعلام الاقتراني كالتالي:${\displaystyle Father({\text{Mark}},x)\wedge Employed(x)}$تُقيّم هذه الاستعلامة إلى "صحيح" إذا وُجد شخصٌ يُدعى "س " وهو ابن مارك ويعمل. بعبارة أخرى، تُعبّر هذه الاستعلامة عن السؤال التالي: "هل لدى مارك ابنٌ يعمل؟"

• العطف المنطقي
• استعلام اقتراني

• ج. غوتلوب؛ ن. ليون؛ ف. سكارسيلو (2001). "تعقيد الاستعلامات الاقترانية غير الدورية". مجلة ACM . 48 (3): 431-498 . doi : 10.1145/382780.382783 .