motion21

[Jürgen Wolff von Gudenberg <wolff@xxxxxxxxxxxxxxxxxxxxxxxxxxx>]

Baker,
please find attached the revised version of our position paper
overlapping.pdf
Particularly the relations with empty sets have been updated.
Since we have changed the position paper given the rationale for our 
motion, I think the politically correct way is to withdraw the old 
motion and move a new one motion 21.2. Hence I withdraw the old version 
and move
Motion 21.2
P1788 should provide access to the states of the interval overlapping
relation. In particular it should provide a function on two intervals a 
and b whose range is the set of 13 states defined by tables 1 and 2.
Additionally the functionality of the abstract data type IOV described 
by table 8 in section 5 of the position paper should be available.
For full flexibility the atomic operations should be available as 
comparisons, see Table 9."

This motion is to be understood as a supplement to motion 13.04.
The advantages are outlined in the position paper that serves as
rationale for the motion.
Note that we do not want to change the traditional way of interval 
comparisons as outlined in motion 13.04 but we want P1788 to provide  an 
additional way as an option, that may offer some new kind of applications.


regards
Juergen
--
-
     o          Prof. Dr. J. Wolff v. Gudenberg, Informatik II
    / \          Universitaet Wuerzburg, Am Hubland, D-97074 Wuerzburg
InfoII o         Tel.: +49 931 / 31 86602
  / \  Uni       E-Mail: wolff@xxxxxxxxxxxxxxxxxxxxxxxxxxx
 o   o Wuerzburg

Attachment: overlapping.pdf
Description: Adobe PDF document