Sciweavers

1193 search results - page 114 / 239
» Database Query Languages and Functional Logic Programming
Sort
View
IPL
2008
102views more  IPL 2008»
15 years 2 months ago
The connection between two ways of reasoning about partial functions
Undefined terms involving the application of partial functions and operators are common in program specifications and in discharging proof obligations that arise in design. One wa...
John S. Fitzgerald, Cliff B. Jones
ICDE
2005
IEEE
101views Database» more  ICDE 2005»
15 years 8 months ago
Optimization of Nested XQuery Expressions with Orderby Clauses
— XQuery, the defacto XML query language, is a functional language with operational semantics, which precludes the direct application of classical query optimization techniques. ...
Song Wang, Elke A. Rundensteiner, Murali Mani
DOCENG
2003
ACM
15 years 7 months ago
Extending xQuery with transformation operators
In this paper, we propose to extend XQuery - the XML query language - with a set of transformation operators which will produce a copy of an XML tree in which some subtrees will b...
Emmanuel Bruno, Jacques Le Maitre, Elisabeth Muris...
GECCO
2007
Springer
283views Optimization» more  GECCO 2007»
15 years 8 months ago
Evolving Lucene search queries for text classification
We describe a method for generating accurate, compact, human understandable text classifiers. Text datasets are indexed using Apache Lucene and Genetic Programs are used to constr...
Laurence Hirsch, Robin Hirsch, Masoud Saeedi
PPDP
2009
Springer
15 years 9 months ago
Relational semantics for effect-based program transformations: higher-order store
We give a denotational semantics to a type and effect system tracking reading and writing to global variables holding values that may include higher-order effectful functions. Reï...
Nick Benton, Andrew Kennedy, Lennart Beringer, Mar...