Structural recursion as a query language Export

@inproceedings{citeulike:87022, abstract = {We propose a programming paradigm that tries to get close to both the semantic simplicity of relational algebra, and the expressive power of unrestricted programming languages. Its main computational engine is structural recursion on sets. All programming is done within a \"nicely\" typed lambda calculus, as in Machiavelli [OBB89]. A guiding principle is that how queries are implemented is as important as whether they can be implemented. As in relational algebra, the meaning of any relation...}, author = {Breazu-Tannen, V. and Beneman, P. and Naqvi, S.}, booktitle = {Proceedings of the 3rd International Workshop on Database Programming Languages (DBPL)}, citeulike-article-id = {87022}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.50.9046}, keywords = {functional, query}, pages = {9--19}, posted-at = {2005-02-02 22:11:11}, priority = {4}, publisher = {Morgan Kaufmann}, title = {Structural recursion as a query language}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.50.9046}, year = {1991} }

TY - CONF ID - citeulike:87022 L3 - citeulike-article-id:87022 N2 - We propose a programming paradigm that tries to get close to both the semantic simplicity of relational algebra, and the expressive power of unrestricted programming languages. Its main computational engine is structural recursion on sets. All programming is done within a "nicely" typed lambda calculus, as in Machiavelli [OBB89]. A guiding principle is that how queries are implemented is as important as whether they can be implemented. As in relational algebra, the meaning of any relation... EP - 19 TI - Structural recursion as a query language PB - Morgan Kaufmann T2 - Proceedings of the 3rd International Workshop on Database Programming Languages (DBPL) SP - 9 KW - functional KW - query AU - Breazu-Tannen, V AU - Beneman, P AU - Naqvi, S PY - 1991/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.50.9046 ER -