cayley/graph/sql/optimizers.go

// Copyright 2015 The Cayley Authors. All rights reserved.
//
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
//     http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.

package sql

import (
	"errors"

	"github.com/barakmich/glog"
	"github.com/google/cayley/graph"
	"github.com/google/cayley/graph/iterator"
	"github.com/google/cayley/quad"
)

func intersect(a graph.Iterator, b graph.Iterator) (graph.Iterator, error) {
	if anew, ok := a.(*SQLNodeIterator); ok {
		if bnew, ok := b.(*SQLNodeIterator); ok {
			return intersectNode(anew, bnew)
		}
	} else if anew, ok := a.(*SQLLinkIterator); ok {
		if bnew, ok := b.(*SQLLinkIterator); ok {
			return intersectLink(anew, bnew)
		}

	} else {
		return nil, errors.New("Unknown iterator types")
	}
	return nil, errors.New("Cannot combine SQL iterators of two different types")
}

func intersectNode(a *SQLNodeIterator, b *SQLNodeIterator) (graph.Iterator, error) {
	m := &SQLNodeIterator{
		uid:       iterator.NextUID(),
		qs:        a.qs,
		tableName: newTableName(),
		linkIts:   append(a.linkIts, b.linkIts...),
		tagdirs:   append(a.tagdirs, b.tagdirs...),
	}
	m.Tagger().CopyFrom(a)
	m.Tagger().CopyFrom(b)
	return m, nil
}

func intersectLink(a *SQLLinkIterator, b *SQLLinkIterator) (graph.Iterator, error) {
	m := &SQLLinkIterator{
		uid:         iterator.NextUID(),
		qs:          a.qs,
		tableName:   newTableName(),
		nodeIts:     append(a.nodeIts, b.nodeIts...),
		constraints: append(a.constraints, b.constraints...),
	}
	m.Tagger().CopyFrom(a)
	m.Tagger().CopyFrom(b)
	return m, nil
}

func hasa(aIn graph.Iterator, d quad.Direction) (graph.Iterator, error) {
	a, ok := aIn.(*SQLLinkIterator)
	if !ok {
		return nil, errors.New("Can't take the HASA of a link SQL iterator")
	}

	out := &SQLNodeIterator{
		uid:       iterator.NextUID(),
		qs:        a.qs,
		tableName: newTableName(),
		linkIts: []sqlItDir{
			sqlItDir{
				it:  a,
				dir: d,
			},
		},
	}
	return out, nil
}

func linksto(aIn graph.Iterator, d quad.Direction) (graph.Iterator, error) {
	a, ok := aIn.(*SQLNodeIterator)
	if !ok {
		return nil, errors.New("Can't take the LINKSTO of a node SQL iterator")
	}

	out := &SQLLinkIterator{
		uid:       iterator.NextUID(),
		qs:        a.qs,
		tableName: newTableName(),
		nodeIts: []sqlItDir{
			sqlItDir{
				it:  a,
				dir: d,
			},
		},
	}

	return out, nil
}

func (qs *QuadStore) OptimizeIterator(it graph.Iterator) (graph.Iterator, bool) {
	switch it.Type() {
	case graph.LinksTo:
		return qs.optimizeLinksTo(it.(*iterator.LinksTo))
	case graph.HasA:
		return qs.optimizeHasA(it.(*iterator.HasA))
	case graph.And:
		return qs.optimizeAnd(it.(*iterator.And))
	}
	return it, false
}

func (qs *QuadStore) optimizeLinksTo(it *iterator.LinksTo) (graph.Iterator, bool) {
	subs := it.SubIterators()
	if len(subs) != 1 {
		return it, false
	}
	primary := subs[0]
	switch primary.Type() {
	case graph.Fixed:
		size, _ := primary.Size()
		if size == 1 {
			if !graph.Next(primary) {
				panic("unexpected size during optimize")
			}
			val := primary.Result()
			newIt := qs.QuadIterator(it.Direction(), val)
			nt := newIt.Tagger()
			nt.CopyFrom(it)
			for _, tag := range primary.Tagger().Tags() {
				nt.AddFixed(tag, val)
			}
			it.Close()
			return newIt, true
		}
	case sqlNodeType:
		//p := primary.(*SQLNodeIterator)
		newit, err := linksto(primary, it.Direction())
		if err != nil {
			glog.Errorln(err)
			return it, false
		}
		newit.Tagger().CopyFrom(it)
		return newit, true
		//case graph.All:
		//newit := &StatementIterator{
		//uid:    iterator.NextUID(),
		//qs:     qs,
		//stType: link,
		//size:   qs.Size(),
		//}
		//for _, t := range primary.Tagger().Tags() {
		//newit.tags = append(newit.tags, tag{
		//pair: tableDir{"", it.Direction()},
		//t:    t,
		//})
		//}
		//for k, v := range primary.Tagger().Fixed() {
		//newit.tagger.AddFixed(k, v)
		//}
		//newit.tagger.CopyFrom(it)

		//return newit, true
	}
	return it, false
}

func (qs *QuadStore) optimizeAnd(it *iterator.And) (graph.Iterator, bool) {
	subs := it.SubIterators()
	var unusedIts []graph.Iterator
	var newit graph.Iterator
	newit = nil
	changed := false
	var err error

	for _, it := range subs {
		if it.Type() == sqlLinkType || it.Type() == sqlNodeType {
			if newit == nil {
				newit = it
			} else {
				changed = true
				newit, err = intersect(newit, it)
				if err != nil {
					glog.Error(err)
					return it, false
				}
			}
		} else {
			unusedIts = append(unusedIts, it)
		}
	}

	if !changed {
		return it, false
	}
	if len(unusedIts) == 0 {
		newit.Tagger().CopyFrom(it)
		return newit, true
	}
	newAnd := iterator.NewAnd(qs)
	newAnd.Tagger().CopyFrom(it)
	newAnd.AddSubIterator(newit)
	for _, i := range unusedIts {
		newAnd.AddSubIterator(i)
	}
	return newAnd.Optimize()
}

func (qs *QuadStore) optimizeHasA(it *iterator.HasA) (graph.Iterator, bool) {
	subs := it.SubIterators()
	if len(subs) != 1 {
		return it, false
	}
	primary := subs[0]
	if primary.Type() == sqlLinkType {
		newit, err := hasa(primary, it.Direction())
		if err != nil {
			glog.Errorln(err)
			return it, false
		}
		newit.Tagger().CopyFrom(it)
		return newit, true
	}
	return it, false
}