EP 0814417 B1 20020918 - Method of and system for unifying data structures
Title (en)
Method of and system for unifying data structures
Title (de)
Verfahren und System um Datenstrukturen zu vereinigen
Title (fr)
Procédé et dispositif pour unifier des structures de données
Publication
Application
Priority
US 67251596 A 19960621
Abstract (en)
[origin: EP0814417A1] A method of and system for unifying data structures (72, 82) creates opaque clauses that can be handled independent of the combination of contexts they represent. In conjoining a first clause and a second clause as part of a unification of a first graph, if the conjoined clause is not already copied to the first graph, then a third clause is created that is opaque and has a pointer to the conjoined clause. <IMAGE>
IPC 1-7
IPC 8 full level
G06F 9/44 (2006.01); G06F 17/27 (2006.01); G06F 40/20 (2020.01)
CPC (source: EP US)
G06F 8/3135 (2013.01 - EP US); G06F 40/20 (2020.01 - EP US)
Designated contracting state (EPC)
DE FR GB
DOCDB simple family (publication)
EP 0814417 A1 19971229; EP 0814417 B1 20020918; DE 69715525 D1 20021024; DE 69715525 T2 20030116; JP H10105551 A 19980424; US 5903860 A 19990511
DOCDB simple family (application)
EP 97304334 A 19970619; DE 69715525 T 19970619; JP 16437097 A 19970620; US 67251596 A 19960621