query program


Also found in: Dictionary, Thesaurus.

query program

[′kwir·ē ‚prō·grəm]
(computer science)
A computer program that allows a user to retrieve information from a data base and have it displayed on a terminal or printed out.

query program

Software that counts, sums and retrieves selected records from a database. It may be part of a large application and be limited to a specific type of retrieval, such as pulling up a customer account on screen, or it may refer to a general-purpose query language that allows any condition to be searched and selected. See query language.
References in periodicals archive ?
Consider now any query q: R [right arrow] S, defined by some [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] query program [Pi]'.
Analogous to the data complexity, hardness of the expression complexity for [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] already shows up in the fragment of [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] queries, even if no negation occurs in the query program.
The query program involves a subprogram that simulates Boolean circuits by which the relations in the input structure encoding the graph can be computed.
query program under p, L semantics on a given database (termed combined complexity in Vardi [1982]), is [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]-complete as well.
X,Y] of query programs, based on independent syntactical restrictions X and Y concerning disjunction and negation, respectively, as follows.
disjunctive Datalog, is the language of all query programs.
X,Y] query programs [Pi], IO([Pi]) = (R, S), with semantics [[Mu].
For the sake of brevity, we omit in the examples detailed formal proofs for the correctness of query programs.