Similar to Object_Constraint_Language
TLA+
TLA+
VDM
Vienna Development Method
公理的意味論
Axiomatic semantics
仕様及び記述言語
Specification and Description Language
操作的意味論
Operational semantics
表示的意味論
Denotational semantics
プロセス計算
Process calculus
ペトリネット
Petri net
問い合わせ言語
Query languageContextual Query Language
Contextual Query Language
DL/I
Data Language InterfaceGraphQL
GraphQLJaql
JaqlMDX (問い合わせ言語)
MultiDimensional eXpressionsObject Definition Language
Object Query Language
ODL
OQL
QBE
QUEL
QUEL query languagesQuery by Example
RDFクエリ言語
RDF query language
SQL
SQLTutorial D
XBase
XBase
XML Path Language
XPath
XPath
XQuery
XQuery