Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,781,481 papers from all fields of science
Search
Sign In
Create Free Account
IBM System R
Known as:
System Relational
, R (disambiguation)
, System-R
Expand
IBM System R is a database system built as a research project at IBM's San Jose Research Laboratory beginning in 1974. System R was a seminal project…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
23 relations
ACM Software System Award
Algorithm
Codd's 12 rules
Database
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2009
2009
Urbis brasiliae ou sobre cidades do Brasil : inserindo assentamentos urbanos do país em investigações configuracionais comparativas
Valério Medeiros
2009
Corpus ID: 140744895
A close look at city form-space studies and inquiries allow us to assure there was no step beyond historiographical and…
Expand
2007
2007
Rapid goal-oriented automated software testing using MEA-graph planning
M. Gupta
,
Jicheng Fu
,
F. Bastani
,
L. Khan
,
I. Yen
Software quality journal
2007
Corpus ID: 2822292
With the rapid growth in the development of sophisticated modern software applications, the complexity of the software…
Expand
2002
2002
Rewrite Games
J. Waldmann
International Conference on Rewriting Techniques…
2002
Corpus ID: 27987741
For a terminating rewrite system R, and a ground term t1, two players alternate in doing R-reductions t1 ? R t2 ? R t3 ? R…
Expand
1997
1997
Undecidability of the First Order Theory of One-Step Right Ground Rewriting
Max Dauchet
International Conference on Rewriting Techniques…
1997
Corpus ID: 39660433
The problem of decidability of the first order theory of one-step rewriting was stated in [CCD93]. One can find the problem on…
Expand
1993
1993
Query optimization in mobile environments
Sumit Ganguly
,
R. Alonso
1993
Corpus ID: 15511715
,
1991
1991
Rosser orderings and free variables
D. D. Jongh
,
F. Montagna
Studia Logica: An International Journal for…
1991
Corpus ID: 39030507
It is shown that for arithmetical interpretations that may include free variables it is not the Guaspari-Solovay system R that is…
Expand
1991
1991
Decidable Sentences for Context-Free Groups
K. Madlener
,
F. Otto
Symposium on Theoretical Aspects of Computer…
1991
Corpus ID: 1814210
The linear sentences of Book [1983] are a class of logical formulae particularly well-suited for describing certain properties of…
Expand
1988
1988
Rewrite systems, pattern matching, and code generation
Eduardo Pelegrí-Llopart
,
Susan J. Graham
1988
Corpus ID: 120523610
Trees are convenient representations because of their hierarchical structure, which models many situations, and ease with which…
Expand
1986
1986
Rule-based transformation of relational queries into iterative programs
J. Freytag
,
N. Goodman
ACM SIGMOD Conference
1986
Corpus ID: 14365774
Over the last decade many techniques for optimizing relational queries have been developed. However, the problem of translating…
Expand
Highly Cited
1984
Highly Cited
1984
Architectural Issues of Transaction Management in Multi-Layered Systems
G. Weikum
,
H. Schek
Very Large Data Bases Conference
1984
Corpus ID: 11962084
The internal structure of current data b;lse systems is ideally characterized by a hierarchy of multiple layers. Each layer…
Expand