Folks: We had openphi.net shut down today because of trac processes lying around. I got them to reinstate it, but we need to switch to the new site. It's at...
OK folks, we've finished the move to a new hosting service, webfaction. We also have a new domain name, declarativity.net (declarative.net was taken,...
Hi all: As far as I know, we're on for a meeting at 9:30 AM tomorrow at Intel. David Chu will speak about his ongoing work on automatic protocol/query...
I'm back so I'll be there. Here's the conferece call info: Monday, September 10, 2007, 09:30 AM US Pacific Time 916-356-2663, Bridge: 5, Passcode: 5901255 ...
Folks: There's a decent chance I will have to phone into tomorrow's meeting. Kid with the flu. I set up a concall via freeconference.com. 1-712-945-0210...
Agenda items: - Welcome back Tyson. He has big plans for working on a more attractive language. This will be an ongoing discussion this fall. - Welcome Kuang...
Very relevant! I will have to miss for religious holidays.... would be great if one of you could approach him and mention our work, and the possibility of...
I'm impressed! It wasn't clear to me who the "repeatability committee" was going to be. It sounds like a whole bunch of grad students are joining the...
Wow, hate to be the people who are going to try compiling and running dozens of different pieces of research-stability software ... all the same, the ...
FYI, Robert tells me the p2p-hackers list is (justifiably) badmouthing P2's concurrency control... I guess we're this close to being able to say we have a...
Folks, I will be unfortunately unable to attend the P2 meeting on Monday due to the looming NSDI deadline on Tuesday. Also I will be out of town for SOSP on...
The type casts not longer work. I looked at oper.[hC] and discovered much of it is commented out. Do we have another way of supporting type conversion? Thanks,...
Operators automatically cast the result to the type of the left operand. Prior typecasts were not exposed to the language, so at some point we took this...
I've been having some difficulty in writing rules that end up being delta rules. Consider: programCompletion programComplete(@A, Pid) :- rulesComplete(@A, Pid,...
Folks, I've set up an audio bridge and a web sharing thingy for the P2 Monday group meeting: Monday, October 22, 2007, 09:30 AM US Pacific Time 916-356-2663,...
Hi Tyson, Why not use the (perhaps naive) approach to have delete events resulting in a deletion in the head? I don't quite see what problem might occur apart...
I think it boils down to dealing with duplicate base relation tuples. If you delete a base relation tuple whose values are not unique across a join defined by...
mmm, my previous post is naive indeed. However, if it is only the problem of plural matching tuples, how about simply remove them all and issue a warning...
This is just a thought but Tuple lineage might solve the problem. If I delete a particular tuple in table 1 then joining that deleted tuple with table 2 would...
Correct, the old planner does a DELETE_ACTION for a DELETE_EVENT in the delta rule. INSERT_ACTION is used for REFRESH_EVENT, since reinserting a tuple...
So there's a whole slew of papers talking about multiply derived tuples in such views. The "delete and recomputed" approach seems to be the state of the art....
This is why for hard-state tables, the old planner was using the reference counted implementation: to deal with multiply derived tuples. For soft-state tables,...