Suchergebnisse für Anfrage "subtype"

6 die antwort

Relational data modeling for sub type

ch lerne das relationale Modell und die Datenmodellierun Und ich habe einige Verwirrung in Bezug auf Untertypen. ch weiß, dass die Datenmodellierung ein iterativer Prozess ist und es viele verschiedene Möglichkeiten gibt, Dinge zu ...

10 die antwort

Wie wende ich Untertypen in eine SQL Server-Datenbank an?

Ich arbeite an einem Programm, in dem Sie Beschwerden registrieren können. Es gibt drei Arten von Beschwerden:internal (Fehler von Mitarbeitern),external (Fehler von einem anderen Unternehmen) undsupplier (Fehler eines Lieferanten). Sie enthalten ...

2 die antwort

Existentielle Typen für F-begrenzte polymorphe Typen und nicht generische Subtypen?

Ich habe zwei Untertypen, die ich durch einen Typ F-begrenzt polymorph sein mussA und ein Subtyp eines dieser Subtypen, d. h. trait A[T <: A[T]] { def x: T } trait Ter extends A[Ter] trait For extends A[For] trait C extends TerNächste Ich ...

TOP-Veröffentlichungen

5 die antwort

<Subtype> Designer </ Subtype> Wurde hinzugefügt und beim Laden / Entladen von Visual Studio entfernt

Hat das schon mal jemand gesehen? Ich habe ein großes Visual Studio-Projekt, das ständig erweitert wird

1 die antwort

Was ist ein Isabelle / HOL-Subtyp? Welche Isar-Befehle erzeugen Untertypen?