.QL

В этой статье есть несколько проблем. Помогите улучшить ее или обсудите эти проблемы на странице обсуждения . ( Узнайте, как и когда удалять эти сообщения ) В этой статье содержится список литературы , сопутствующих материалов или внешних ссылок , но ее источники остаются неясными, поскольку в ней отсутствуют встроенные цитаты .Пожалуйста, помогите улучшить эту статью, добавив более точные цитаты. ( Декабрь 2012 )( Узнайте, как и когда удалить это сообщение ) Тема этой статьи может не соответствовать общим правилам значимости Википедии .Пожалуйста, помогите продемонстрировать значимость темы, ссылаясь на надежные вторичные источники , которые независимы от темы и обеспечивают ее значительное освещение, выходящее за рамки простого тривиального упоминания. Если значимость не может быть показана, статья, скорее всего, будет объединена , перенаправлена ​​или удалена . Найти источники:  ".QL" – новости  · газеты  · книги  · ученый  · JSTOR ( Декабрь 2012 )( Узнайте, как и когда удалить это сообщение ) ( Узнайте, как и когда удалить это сообщение )

.QL

Парадигма	мультипарадигмальный , логико-парадигмальный , объектно-ориентированный
Разработчик	Семмле
Впервые появился	2007
Дисциплина печати	статичный , сильный
Основные внедрения
SemmleCode
Под влиянием
Журнал данных

.QL (произносится как «точка-ку-эль») — это объектно-ориентированный язык запросов, используемый для извлечения данных из реляционных систем управления базами данных . Он напоминает стандартный язык запросов SQL и объектно-ориентированный язык программирования Java . .QL — это объектно-ориентированный вариант логического языка запросов, называемого Datalog . Поэтому иерархические данные могут быть естественным образом запрошены в .QL рекурсивным образом.

Запросы, написанные на .QL, оптимизируются, компилируются в SQL и затем могут быть выполнены в любой крупной системе управления реляционными базами данных. Язык запросов .QL используется в SemmleCode для запроса реляционного представления программ Java.

.QL разработан в Semmle Limited и основан на собственной технологии компании.

.QL имеет несколько языковых функций, позволяющих сделать запросы лаконичными, интуитивно понятными и пригодными для повторного использования:

• Расширяемая иерархия типов
• Методы и предикаты
• Определение перед использованием

Пример запроса ниже иллюстрирует использование .QL для запроса программы Java. Вот как можно выбрать все классы, которые содержат более десяти публичных методов:

из класса c, int numOfMethods где numOfMethods = count(Метод m| m.getDeclaringType()=c и m.hasModifier("public")) и numOfMethods > 10 выберите c.getPackage(), c, numOfMethods

Фактически, этот запрос выбирает не только все классы с более чем десятью открытыми методами, но также соответствующие им пакеты и количество методов, которые есть у каждого класса.

• SQL — язык структурированных запросов
• OQL — язык объектных запросов
• Datalog - язык логического программирования
• SemmleCode — инструмент тестирования программного обеспечения , использующий язык .QL

• Эрве Галлер и Джек Минкер. Логика и базы данных. Plenum Press, Нью-Йорк, 1978.
• Серж Абитбуль и Пэрис К. Канеллакис. Идентификация объекта как примитив языка запросов. В SIGMOD Rec, страницы 159–173, ACM Press, 1989.
• Оге де Мур, Эльнар Гаджиев и Матье Вербер. Объектно-ориентированные запросы по программным системам. В трудах симпозиума ACM SIGPLAN 2007 года по частичной оценке и семантической манипуляции программами (PEPM), стр. 91, ACM Press, 2007.

• Semmle Limited: создатели .QL