Filters








56,746 Hits in 3.8 sec

i3QL

Ralf Mitschke, Sebastian Erdweg, Mirko Köhler, Mira Mezini, Guido Salvaneschi
2014 Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications - OOPSLA '14  
An incremental computation updates its result based on a change to its input, which is often an order of magnitude faster than a recomputation from scratch.  ...  This paper presents i3QL, a general-purpose programming language for specifying incremental computations. i3QL provides a declarative SQL-like syntax and is based on incremental versions of operators from  ...  For example, our parser incrementally derives facts about which substring can be generated from which nonterminal.  ... 
doi:10.1145/2660193.2660242 dblp:conf/oopsla/MitschkeEKMS14 fatcat:ihhjki3e75dedd7avyqkphvlzq

Incremental Query Processing on Big Data Streams

Leonidas Fegaras
2016 IEEE Transactions on Knowledge and Data Engineering  
In contrast to other approaches, we derive incremental programs that return accurate results, not approximate answers.  ...  Finally, we report on a prototype implementation of our framework, called MRQL Streaming, running on top of Spark and we experimentally validate the effectiveness of our methods.  ...  From the homomorphic algebraic term h(S), our system derives a merge function ⊗, such that h(S ⊎ ∆S) = h(S) ⊗ h(∆S).  ... 
doi:10.1109/tkde.2016.2601103 fatcat:53rgdllwhfelhmarpzkmffnrxm

Situation Monitoring for Active Databases

Arnon Rosenthal, Sharma Chakravarthy, Barbara T. Blaustein, José A. Blakeley
1989 Very Large Data Bases Conference  
CHAK89], parts of which have been implemented. However. the algebra and transformations described in this paper can be applied more generally.  ...  Evaluation of expressions involving changes is optimized by defining incremental forms of relational operators and by providing a chain rule that extends incremental computation to data derived by arbitrary  ...  The algebra includes efficient implementations of incremental forms of familiar operators and accommodates user-defined operators.  ... 
dblp:conf/vldb/RosenthalCBB89 fatcat:c3c7433gxfgddcccxmrk7f6iai

An algebraic approach for incremental maintenance of materialized XQuery views

Maged EL-Sayed, Ling Wang, Luping Ding, Elke A. Rundensteiner
2002 Proceedings of the fourth international workshop on Web information and data management - WIDM '02  
This algebraic update propagation process generates incremental update primitives to be applied to the result view. We briefly discuss our XQuery view maintenance system implementation.  ...  It is typically more efficient to maintain a view by incrementally propagating the base changes to the view than by re-computing it from scratch.  ...  In particular, we keep track of lineage between derived tuples. We generate unique IDs for tuples in the XAT tables. Each tuple keeps track of tuples it was derived from using ID references.  ... 
doi:10.1145/584948.584950 fatcat:nx5pb7syprdytmefv6owqu4bju

An algebraic approach for incremental maintenance of materialized XQuery views

Maged EL-Sayed, Ling Wang, Luping Ding, Elke A. Rundensteiner
2002 Proceedings of the fourth international workshop on Web information and data management - WIDM '02  
This algebraic update propagation process generates incremental update primitives to be applied to the result view. We briefly discuss our XQuery view maintenance system implementation.  ...  It is typically more efficient to maintain a view by incrementally propagating the base changes to the view than by re-computing it from scratch.  ...  In particular, we keep track of lineage between derived tuples. We generate unique IDs for tuples in the XAT tables. Each tuple keeps track of tuples it was derived from using ID references.  ... 
doi:10.1145/584931.584950 dblp:conf/widm/EL-SayedWDR02 fatcat:xbssek2kgbdfhdxudfygynwkma

Employing C++ Templates in the Design of a Computer Algebra Library [chapter]

Alexander Brandt, Robert H. C. Moir, Marc Moreno Maza
2020 Lecture Notes in Computer Science  
Two key aspects of this interface to be discussed are the encoding of the algebraic hierarchy as a class hierarchy and a mechanism to support the combination of algebraic types as a new type.  ...  We discuss design aspects of the open-source Basic Polynomial Algebra Subprograms (BPAS) library. We build on standard C++11 template mechanisms to improve ease of use and accessibility.  ...  Listing 1.A subset of the algebraic class hierarchy, using CRTP to declare the integers. Listing 2 . 2 An implementation of a polynomial interface using CRTP and Derived from.  ... 
doi:10.1007/978-3-030-52200-1_34 fatcat:5tak2rs2j5g2rhtsg3pgfnzn3u

A NEW APPROACH FOR AN INCREMENTAL ORIENTATION OF MICRO-UAV IMAGE SEQUENCES

M. Reich, J. Unger, F. Rottensteiner, C. Heipke
2014 The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences  
To be able to deal with the increasing amount of observations and unknown parameters we implement an incremental bundle adjustment based on automatically determined tie points and sliding image triplets  ...  We compare the orientation results of our approach with an approach in which initial values for the unknown object coordinates are computed algebraically.  ...  Finally, the implementation is far from being applicable in realtime. But, irrespective of computation time, our approach is realtime compatible in terms of its incremental implementation.  ... 
doi:10.5194/isprsarchives-xl-3-w1-93-2014 fatcat:gharjox3e5g5nkhcrvcxhalzu4

DBSP: Automatic Incremental View Maintenance for Rich Query Languages [article]

Mihai Budiu, Frank McSherry, Leonid Ryzhyk, Val Tannen
2022 arXiv   pre-print
Incremental view maintenance has been for a long time a central problem in database theory.  ...  Many solutions have been proposed for restricted classes of database languages, such as the relational algebra, or Datalog. These techniques do not naturally generalize to richer languages.  ...  The incrementalization operator has some very nice algebraic properties, which can generate very efficient incremental implementations for linear and bilinear computations.  ... 
arXiv:2203.16684v1 fatcat:wj6r5ontrrblha45r5wzmvob7u

View maintenance issues for the chronicle data model (extended abstract)

H. V. Jagadish, Inderpal Singh Mumick, Abraham Silberschatz
1995 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems - PODS '95  
u 4 Summarized Chronicle Algebra In this section, we derive the largest subsets of a set of relation algebra operators that define languages in the first three I M complexity classes  ...  A mapping from sequence numbers in a chronicle to time intervals must be made for the periodic summarized chronicle algebra to be defined.  ... 
doi:10.1145/212433.220201 dblp:conf/pods/JagadishMS95 fatcat:453arxesljc6hnv34ka6uykivm

Explicit Direct Integrators of RK Type for Solving Special Fifth-Order Ordinary Differential Equations

Mohammed S. Mechee, Murtaza A. Kadhim
2016 American Journal of Applied Sciences  
Using Taylor expansion, we have derived the algebraic equations of algebraic equations of order conditions for the proposed RKM integrators up to the eighth order.  ...  Numerical implementation shows that the new methods agree well with existing RK methods, but requires less function evaluations.  ...  The algebraic equations of order conditions of RKM integrators can be obtain from the direct expansion of the local truncation error.  ... 
doi:10.3844/ajassp.2016.1452.1460 fatcat:jljzckdc5ra2jmqnjdfecjetwe

A theory of changes for higher-order languages

Yufei Cai, Paolo G. Giarrusso, Tillmann Rendel, Klaus Ostermann
2013 Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI '14  
We incrementalize programs through their derivative. A derivative maps changes in the program's input directly to changes in the program's output, without reexecuting the original program.  ...  We investigate performance by a case study: We implement in Scala the program transformation, a plugin and improve performance of a nontrivial program by orders of magnitude.  ...  Even lists (which have fewer algebraic properties) can benefit from special support [17] .  ... 
doi:10.1145/2594291.2594304 dblp:conf/pldi/CaiGRO14 fatcat:jcrc2lha25anvddj2btnzht2xm

A theory of changes for higher-order languages

Yufei Cai, Paolo G. Giarrusso, Tillmann Rendel, Klaus Ostermann
2014 SIGPLAN notices  
We incrementalize programs through their derivative. A derivative maps changes in the program's input directly to changes in the program's output, without reexecuting the original program.  ...  We investigate performance by a case study: We implement in Scala the program transformation, a plugin and improve performance of a nontrivial program by orders of magnitude.  ...  Even lists (which have fewer algebraic properties) can benefit from special support [17] .  ... 
doi:10.1145/2666356.2594304 fatcat:fuvusucaandoziye7wkrrmluoq

Monitoring Complex Rule Conditions [chapter]

Tore Risch, Martin Sköld
1999 Active Rules in Database Systems  
First an overview of the traditional methods for incremental evaluation is given. Then a partial differencing calculus is defined for set algebra and is then mapped to the relational operators.  ...  With incremental evaluation the state of a rule condition is materialized and, after an update, the new state of the condition is defined incrementally in terms of differences to the materialized state  ...  In [QW91] the relational algebra is extended with some incremental operators that can be used for differencing relational algebra expressions. [ RCBB89] proposed incremental evaluation of relational  ... 
doi:10.1007/978-1-4419-8656-6_5 fatcat:5nwicrnx2zephgbl6k5cxjxdgi

In praise of algebra

Tony Hoare, Stephan van Staden
2012 Formal Aspects of Computing  
We give an algebraic definition of the Hoare triple, and algebraic proofs of all the relevant laws for concurrent separation logic.  ...  We end with a section in praise of algebra, of which Carroll Morgan is such a master.  ...  The rule of concurrency can be derived directly from the algebraic exchange law, and vice versa. 8.  ... 
doi:10.1007/s00165-012-0249-0 fatcat:6jsnrjik7fc5nhiqlu3w5edpii

An adaptive critic global controller

S. Ferrari, R.F. Stengel
2002 Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301)  
The design method is implemented to control the full. sixdegree-of-freedom simulation of a business jet aircraft.  ...  The neural networks are initialized algebraically by observing that the gradients of the networks must equal corresponding linear gain matrices at chosen operating points.  ...  by an increment Aw?), based on the derivative dE(w)/dwc, i.e.  ... 
doi:10.1109/acc.2002.1025189 fatcat:avl5bmtpnbhv3fswfu64nwuy4e
« Previous Showing results 1 — 15 out of 56,746 results