query program


Also found in: Dictionary, Thesaurus, Acronyms.

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.
McGraw-Hill Dictionary of Scientific & Technical Terms, 6E, Copyright © 2003 by The McGraw-Hill Companies, Inc.

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.
Copyright © 1981-2019 by The Computer Language Company Inc. All Rights reserved. THIS DEFINITION IS FOR PERSONAL USE ONLY. All other reproduction is strictly prohibited without permission from the publisher.
References in periodicals archive ?
Notice that evaluating a given [DATALOG.sup.[disjunction],??] 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.
We define a family of classes [DATALOG.sup.X,Y] of query programs, based on independent syntactical restrictions X and Y concerning disjunction and negation, respectively, as follows.
For example, [DATALOG.sup.[disjunction]], which we refer to as plain disjunctive Datalog, allows disjunction in the head and negation of predicates from R;(3) [DATALOG.sup.[disjunction],??], disjunctive Datalog, is the language of all query programs.
[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] is the query language of [DATALOG.sup.X,Y] query programs [Pi], IO([Pi]) = (R, S), with semantics [[Mu].sub.inf,??] such that [[Mu].sub.inf,??]([Pi]) is the partial query
For the sake of brevity, we omit in the examples detailed formal proofs for the correctness of query programs. Such proofs are not difficult to obtain, however.
In the examples of the previous section, we have designed query programs in a hierarchical fashion.
As a consequence of Lemma 5.1, we can indeed write query programs that use stable models in a modular fashion, such that modules [[Pi].sub.2] use the output of modules [[Pi].sub.1].